equal
deleted
inserted
replaced
30 |
30 |
31 Furthermore, it needs the following software, which is not part of the |
31 Furthermore, it needs the following software, which is not part of the |
32 distribution: |
32 distribution: |
33 <ul> |
33 <ul> |
34 <li> A full Standard ML Compiler (e.g. Poly/ML or SML of New Jersey). |
34 <li> A full Standard ML Compiler (e.g. Poly/ML or SML of New Jersey). |
35 <li> The GNU bash shell (version 1.14.x or 2.x). |
35 <li> The GNU bash shell (version 1.x or 2.x). |
36 <li> Perl 5.x - the Pathologically Eclectic Rubbish Lister. |
36 <li> Perl 5.x - the Pathologically Eclectic Rubbish Lister. |
37 </ul> |
37 </ul> |
38 |
38 |
39 The ML system and GNU bash are absolutely essential. Perl is optional |
39 The ML system and GNU bash are absolutely essential. Perl is optional |
40 for core functionality, but still highly recommended. |
40 for core functionality, but still highly recommended. |
42 <p> |
42 <p> |
43 |
43 |
44 The following ML system and platform combinations are known to work |
44 The following ML system and platform combinations are known to work |
45 quite well: |
45 quite well: |
46 <ul> |
46 <ul> |
47 <li> Poly/ML versions 2.x and 3.1 on Suns (running SunOS 4.1.x or |
47 <li> Poly/ML versions 2.x and 3.1 on Suns. |
48 Solaris 2.x). |
|
49 <li> SML/NJ 0.93 on Suns and SGIs. There seem to be several |
48 <li> SML/NJ 0.93 on Suns and SGIs. There seem to be several |
50 problems with Linux and HP-UX. |
49 problems with Linux and HP-UX. |
51 <li> SML/NJ 1.07 on Suns, Linux, etc. |
50 <li> SML/NJ 1.07 on Suns, Linux, etc. |
52 <li> SML/NJ 1.09.27 on Suns, Linux, etc. |
51 <li> SML/NJ 1.09.27 on Suns, Linux, etc. |
53 </ul> |
52 </ul> |