tuned;
authorwenzelm
Mon Feb 05 14:40:21 2001 +0100 (2001-02-05)
changeset 11066ceab8d437b96
parent 11065 0038c3bedd75
child 11067 60c83075e41f
tuned;
README.html
     1.1 --- a/README.html	Mon Feb 05 14:39:09 2001 +0100
     1.2 +++ b/README.html	Mon Feb 05 14:40:21 2001 +0100
     1.3 @@ -42,7 +42,7 @@
     1.4  The following ML system and platform combinations are known to work
     1.5  very well:
     1.6  <ul>
     1.7 -<li> Poly/ML 3.x on Linux/x86 and Solaris/Sparc.
     1.8 +<li> Poly/ML 4.x and 3.x on Linux/x86 and Solaris/Sparc.
     1.9  <li> SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
    1.10  </ul>
    1.11  
    1.12 @@ -61,9 +61,7 @@
    1.13  <p> MLWorks is a commercial ML programming environment developed by <a
    1.14  href="http://www.harlequin.com/">Harlequin</a> and was unfortunately
    1.15  withdrawn after that company was taken over.  Isabelle on MLWorks 2.0
    1.16 -works reasonably well.  It is about 20% faster than on SML/NJ while
    1.17 -using slightly less memory and disk space.  A few features (e.g. ML
    1.18 -top-level pretty printing) are not supported, though.
    1.19 +works reasonably well.
    1.20  
    1.21  
    1.22  <h2>Installation</h2>