A Java runtime environment (version 1.5 or 1.6) for some extra Isabelle tools (graph browser etc.). A full LaTeX installation for Isabelle document preparation (optional).Picking the right Emacs version is the greatest challenge in running Isabelle Proof General! The Proof General user interface with a working version of Emacs (either GNU Emacs 22, or XEmacs 21.4.x as last resort).HOL, HOL-Nominal) only work for one particular Poly/ML instance, but users can also build heap images separately. Recent Poly/ML 5.3.0 and 5.2.1 provide native multicore support for parallel processing of theories and proofs. The Poly/ML compiler and runtime system (version 5.x).Pre-compiled logic images are available for download for the most common platforms.Ī realistic Isabelle installation consists of the following parts: Our packages include multi-platform binaries for a broad range of architectures. Isabelle runs on common Unix systems (such as Linux or Mac OS), and Windows with Cygwin.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |