README.html
changeset 4183 706902a9abdd
parent 3630 aee7effe0816
child 4401 384108c6e209
equal deleted inserted replaced
4182:47067b5db7ef 4183:706902a9abdd
    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.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 
       
    39 The ML system and GNU bash are absolutely essential. Perl is optional
       
    40 for core functionality, but still highly recommended.
       
    41 
    38 
    42 <p>
    39 <p>
    43 
    40 
    44 The following ML system and platform combinations are known to work
    41 The following ML system and platform combinations are known to work
    45 quite well:
    42 quite well: