--- a/README.html Mon Oct 19 16:13:13 1998 +0200
+++ b/README.html Tue Oct 20 11:16:23 1998 +0200
@@ -58,10 +58,10 @@
<p>
<a href="http://www.harlequin.com/products/ads/ml/">MLWorks</a> is a
-commercial ML programming environment. Isabelle on MLWorks 2.0 works
-considerably well with memory and disk usage slightly less than
-SML/NJ. A few minor features (e.g. top-level pretty printing) are not
-yet supported, though.
+commercial ML programming environment. Isabelle on MLWorks 2.0 works well.
+It is about 20% faster than on SML/NJ while using slightly less memory and
+disk space. A few minor features (e.g. top-level pretty printing) are not yet
+supported, though.
<p>