README.html
changeset 14612 f0f50362cb67
parent 14298 e616f4bda3a2
child 14622 5275774155cf
     1.1 --- a/README.html	Sat Apr 17 00:50:45 2004 +0200
     1.2 +++ b/README.html	Sat Apr 17 13:56:08 2004 +0200
     1.3 @@ -40,7 +40,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 4.x and 3.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.
     1.8 +<li>Poly/ML 4.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.
     1.9  <li>SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
    1.10  </ul>
    1.11  
    1.12 @@ -53,11 +53,6 @@
    1.13  store and disk space, but on the other hand supports more platforms.
    1.14  The current official release is 110.
    1.15  
    1.16 -<p> MLWorks used to be a commercial ML programming environment
    1.17 -developed by <a href="http://www.harlequin.com/">Harlequin</a> and was
    1.18 -unfortunately withdrawn after that company was taken over.  Isabelle
    1.19 -on MLWorks 2.0 works reasonably well.
    1.20 -
    1.21  
    1.22  <h2>Installation</h2>
    1.23