Mon, 05 Feb 2001 14:40:21 +0100
changeset 11066 ceab8d437b96
parent 11065 0038c3bedd75
child 11067 60c83075e41f
--- a/README.html	Mon Feb 05 14:39:09 2001 +0100
+++ b/README.html	Mon Feb 05 14:40:21 2001 +0100
@@ -42,7 +42,7 @@
 The following ML system and platform combinations are known to work
 very well:
-<li> Poly/ML 3.x on Linux/x86 and Solaris/Sparc.
+<li> Poly/ML 4.x and 3.x on Linux/x86 and Solaris/Sparc.
 <li> SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
@@ -61,9 +61,7 @@
 <p> MLWorks is 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.  It is about 20% faster than on SML/NJ while
-using slightly less memory and disk space.  A few features (e.g. ML
-top-level pretty printing) are not supported, though.
+works reasonably well.