tuned;
authorwenzelm
Sun Jul 23 11:58:30 2000 +0200 (2000-07-23)
changeset 9406d505b11ce30d
parent 9405 3235873fdd90
child 9407 e8f6d918fde9
tuned;
README.html
     1.1 --- a/README.html	Sat Jul 22 12:58:12 2000 +0200
     1.2 +++ b/README.html	Sun Jul 23 11:58:30 2000 +0200
     1.3 @@ -44,8 +44,6 @@
     1.4  <ul>
     1.5  <li> Poly/ML 3.x on Linux and Sparc/Solaris.
     1.6  <li> SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
     1.7 -<li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
     1.8 -problems with Linux and HP-UX, though.
     1.9  </ul>
    1.10  
    1.11  <p> <a href="http://www.polyml.org/">Poly/ML</a>, previously a
    1.12 @@ -57,13 +55,14 @@
    1.13  href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
    1.14  needs lots of store and disk space, but supports many more platforms.
    1.15  The current official release is 110.  Basically, we still support the
    1.16 -old 0.93 release, but do not recommend it.
    1.17 +old 0.93 release, but do not recommend to use it under normal
    1.18 +circumstances.
    1.19  
    1.20  <p> MLWorks is a commercial ML programming environment developed by <a
    1.21  href="http://www.harlequin.com/">Harlequin</a> and was unfortunately
    1.22  withdrawn after that company was taken over.  Isabelle on MLWorks 2.0
    1.23 -works well.  It is about 20% faster than on SML/NJ while using
    1.24 -slightly less memory and disk space.  A few minor features (e.g. ML
    1.25 +works reasonably well.  It is about 20% faster than on SML/NJ while
    1.26 +using slightly less memory and disk space.  A few features (e.g. ML
    1.27  top-level pretty printing) are not supported, though.
    1.28  
    1.29