changeset 11066 ceab8d437b96
parent 10079 0d78784176f4
child 11146 449e1a1bb7a8
--- 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="">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.