README.html
changeset 9406 d505b11ce30d
parent 8809 85539b33be03
child 9927 7a9652294fe0
equal deleted inserted replaced
9405:3235873fdd90 9406:d505b11ce30d
    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 and Sparc/Solaris.
    45 <li> Poly/ML 3.x on Linux and Sparc/Solaris.
    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 <li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
       
    48 problems with Linux and HP-UX, though.
       
    49 </ul>
    47 </ul>
    50 
    48 
    51 <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
    52 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
    53 compiler for running Isabelle, requiring the least memory and offering
    51 compiler for running Isabelle, requiring the least memory and offering
    55 
    53 
    56 <p> <a
    54 <p> <a
    57 href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
    55 href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
    58 needs lots of store and disk space, but supports many more platforms.
    56 needs lots of store and disk space, but supports many more platforms.
    59 The current official release is 110.  Basically, we still support the
    57 The current official release is 110.  Basically, we still support the
    60 old 0.93 release, but do not recommend it.
    58 old 0.93 release, but do not recommend to use it under normal
       
    59 circumstances.
    61 
    60 
    62 <p> MLWorks is a commercial ML programming environment developed by <a
    61 <p> MLWorks is a commercial ML programming environment developed by <a
    63 href="http://www.harlequin.com/">Harlequin</a> and was unfortunately
    62 href="http://www.harlequin.com/">Harlequin</a> and was unfortunately
    64 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
    65 works well.  It is about 20% faster than on SML/NJ while using
    64 works reasonably well.  It is about 20% faster than on SML/NJ while
    66 slightly less memory and disk space.  A few minor features (e.g. ML
    65 using slightly less memory and disk space.  A few features (e.g. ML
    67 top-level pretty printing) are not supported, though.
    66 top-level pretty printing) are not supported, though.
    68 
    67 
    69 
    68 
    70 <h2>Installation</h2>
    69 <h2>Installation</h2>
    71 
    70