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 * Java 1.6.x or 1.7.x from Oracle or Apple -- for Scala and jEdit. |
19 * Java 1.6.x from Oracle or Apple -- for Scala and jEdit. |
20 * GNU Emacs (version 23 or 24) -- for the Proof General 4.x interface. |
20 * GNU Emacs (version 23 or 24) -- for the Proof General 4.x interface. |
21 * A complete LaTeX installation -- for document preparation. |
21 * A complete LaTeX installation -- for document preparation. |
22 |
22 |
23 Installation |
23 Installation |
24 |
24 |