--- a/README.html Sat Apr 17 00:50:45 2004 +0200
+++ b/README.html Sat Apr 17 13:56:08 2004 +0200
@@ -40,7 +40,7 @@
The following ML system and platform combinations are known to work
very well:
<ul>
-<li>Poly/ML 4.x and 3.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.
+<li>Poly/ML 4.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.
<li>SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
</ul>
@@ -53,11 +53,6 @@
store and disk space, but on the other hand supports more platforms.
The current official release is 110.
-<p> MLWorks used to be a commercial ML programming environment
-developed by <a href="http://www.harlequin.com/">Harlequin</a> and was
-unfortunately withdrawn after that company was taken over. Isabelle
-on MLWorks 2.0 works reasonably well.
-
<h2>Installation</h2>