README.html
changeset 11066 ceab8d437b96
parent 10079 0d78784176f4
child 11146 449e1a1bb7a8
equal deleted inserted replaced
11065:0038c3bedd75 11066:ceab8d437b96
    40 <p>
    40 <p>
    41 
    41 
    42 The following ML system and platform combinations are known to work
    42 The following ML system and platform combinations are known to work
    43 very well:
    43 very well:
    44 <ul>
    44 <ul>
    45 <li> Poly/ML 3.x on Linux/x86 and Solaris/Sparc.
    45 <li> Poly/ML 4.x and 3.x on Linux/x86 and Solaris/Sparc.
    46 <li> SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
    46 <li> SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
    47 </ul>
    47 </ul>
    48 
    48 
    49 <p> <a href="http://www.polyml.org/">Poly/ML</a>, previously a
    49 <p> <a href="http://www.polyml.org/">Poly/ML</a>, previously a
    50 commercial product, is back in the free world.  It is by far the best
    50 commercial product, is back in the free world.  It is by far the best
    59 circumstances.
    59 circumstances.
    60 
    60 
    61 <p> MLWorks is a commercial ML programming environment developed by <a
    61 <p> MLWorks is a commercial ML programming environment developed by <a
    62 href="http://www.harlequin.com/">Harlequin</a> and was unfortunately
    62 href="http://www.harlequin.com/">Harlequin</a> and was unfortunately
    63 withdrawn after that company was taken over.  Isabelle on MLWorks 2.0
    63 withdrawn after that company was taken over.  Isabelle on MLWorks 2.0
    64 works reasonably well.  It is about 20% faster than on SML/NJ while
    64 works reasonably well.
    65 using slightly less memory and disk space.  A few features (e.g. ML
       
    66 top-level pretty printing) are not supported, though.
       
    67 
    65 
    68 
    66 
    69 <h2>Installation</h2>
    67 <h2>Installation</h2>
    70 
    68 
    71 Binary packages are available for Isabelle/HOL and ZF on the Linux/x86
    69 Binary packages are available for Isabelle/HOL and ZF on the Linux/x86