27 <p> |
27 <p> |
28 |
28 |
29 Furthermore, Isabelle needs the following software, which is not part |
29 Furthermore, Isabelle needs the following software, which is not part |
30 of the distribution: |
30 of the distribution: |
31 <ul> |
31 <ul> |
32 <li> A full Standard ML Compiler (e.g. Poly/ML). |
32 <li>A full Standard ML Compiler (e.g. Poly/ML). |
33 <li> The GNU bash shell (version 1.x or 2.x). |
33 <li>The GNU bash shell (version 1.x or 2.x). |
34 <li> Perl 5.x - the Pathologically Eclectic Rubbish Lister (Perl 4.x |
34 <li>Perl 5.x - the Pathologically Eclectic Rubbish Lister (Perl 4.x |
35 is <em>not</em> sufficient). |
35 is <em>not</em> sufficient). |
36 </ul> |
36 </ul> |
37 |
37 |
38 <p> |
38 <p> |
39 |
39 |
40 The following ML system and platform combinations are known to work |
40 The following ML system and platform combinations are known to work |
41 very well: |
41 very well: |
42 <ul> |
42 <ul> |
43 <li> Poly/ML 4.x and 3.x on Linux/x86, Solaris/Sparc, and PowerPC platforms. |
43 <li>Poly/ML 4.x and 3.x on Linux/x86, Solaris/Sparc, and PowerPC platforms. |
44 <li> SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.). |
44 <li>SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.). |
45 </ul> |
45 </ul> |
46 |
46 |
47 <p> <a href="http://www.polyml.org/">Poly/ML</a>, previously a |
47 <p> <a href="http://www.polyml.org/">Poly/ML</a>, previously a |
48 commercial product, is back in the free world. It is by far the best |
48 commercial product, is back in the free world. It is by far the best |
49 compiler for running Isabelle, requiring the least memory and offering |
49 compiler for running Isabelle, requiring the least memory and offering |