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