equal
deleted
inserted
replaced
23 |
23 |
24 <p>Isabelle requires a regular Unix platform (e.g. GNU Linux) with the |
24 <p>Isabelle requires a regular Unix platform (e.g. GNU Linux) with the |
25 following additional software:</p> |
25 following additional software:</p> |
26 |
26 |
27 <ul> |
27 <ul> |
28 <li>A full Standard ML Compiler (e.g. Poly/ML 4.1.x, SML/NJ 110.x).</li> |
28 <li>A full Standard ML Compiler (e.g. Poly/ML 5.x, 4.x).</li> |
29 <li>The GNU bash shell (version 2.x).</li> |
29 <li>The GNU bash shell (version 3.x, 2.x).</li> |
30 <li>Perl (version 5.x).</li> |
30 <li>Perl (version 5.x).</li> |
31 <li>XEmacs (version 21.4.x) -- for the ProofGeneral interface.</li> |
31 <li>XEmacs (version 21.4.x) -- for the ProofGeneral interface.</li> |
32 <li>A complete LaTeX installation (e.g. teTeX 1.0) -- for document preparation.</li> |
32 <li>A complete LaTeX installation -- for document preparation.</li> |
33 </ul> |
33 </ul> |
34 |
34 |
35 <h2>Installation</h2> |
35 <h2>Installation</h2> |
36 |
36 |
37 <p>Binary packages are available for Isabelle/HOL and ZF for several |
37 <p>Binary packages are available for Isabelle/HOL and ZF for several |