equal
deleted
inserted
replaced
7 |
7 |
8 System requirements |
8 System requirements |
9 |
9 |
10 Isabelle requires a regular Unix platform (e.g. GNU Linux) with the |
10 Isabelle requires a regular Unix platform (e.g. GNU Linux) with the |
11 following additional software: |
11 following additional software: |
12 * A full Standard ML Compiler (e.g. Poly/ML 5.x, 4.x). |
12 * A full Standard ML Compiler (works best with Poly/ML 5.x). |
13 * The GNU bash shell (version 3.x, 2.x). |
13 * The GNU bash shell (version 3.x or 2.x). |
14 * Perl (version 5.x). |
14 * Perl (version 5.x). |
15 * XEmacs (version 21.4.x) or GNU Emacs (version 21, 22) |
15 * GNU Emacs (version 21, 22) or XEmacs (version 21.4.x) |
16 -- for the Proof General interface. |
16 -- for the Proof General interface. |
17 * A complete LaTeX installation -- for document preparation. |
17 * A complete LaTeX installation -- for document preparation. |
18 |
18 |
19 Installation |
19 Installation |
20 |
20 |