equal
deleted
inserted
replaced
14 add-on tools: |
14 add-on tools: |
15 |
15 |
16 * The Poly/ML compiler and runtime system (version 5.2.1 or later). |
16 * The Poly/ML compiler and runtime system (version 5.2.1 or later). |
17 * The GNU bash shell (version 3.x or 2.x). |
17 * The GNU bash shell (version 3.x or 2.x). |
18 * Perl (version 5.x). |
18 * Perl (version 5.x). |
19 * GNU Emacs (version 22) -- for the Proof General interface. |
19 * GNU Emacs (version 23) -- for the Proof General 4.x interface. |
20 * A complete LaTeX installation -- for document preparation. |
20 * A complete LaTeX installation -- for document preparation. |
21 |
21 |
22 Installation |
22 Installation |
23 |
23 |
24 Completely integrated bundles including the full Isabelle sources, |
24 Completely integrated bundles including the full Isabelle sources, |