# HG changeset patch
# User wenzelm
# Date 981380421 -3600
# Node ID ceab8d437b960ad5dc370f9feba4b85c6062e916
# Parent  0038c3bedd758601a93aacb80d2845ed8002122d
tuned;

diff -r 0038c3bedd75 -r ceab8d437b96 README.html
--- 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:
 <ul>
-<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.).
 </ul>
 
@@ -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.
 
 
 <h2>Installation</h2>