![]() The installer starts the Isabelle/jEdit Prover IDE automatically for the first time. It can be unpacked into an arbitrary directory. The self-extracting archive contains everything required for Isabelle on Windows PCs. MikTeX for Isabelle/LaTeX document preparation.Other Isabelle command-line tools can be invoked from the terminal like this: The Isabelle/jEdit Prover IDE can be invoked like this: It can be unpacked into an arbitrary directory like this: The bundled archive contains everything required for Isabelle on Linux. TeXLive for Isabelle/LaTeX document preparation.Proper Window manager / Desktop environment that works with Java/AWT/Swing. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |