--- a/README.html Wed Jan 13 16:38:52 1999 +0100
+++ b/README.html Thu Jan 14 12:23:00 1999 +0100
@@ -64,7 +64,7 @@
<a href="http://www.harlequin.com/products/ads/ml/">MLWorks</a> is a
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
+memory and disk space. A few minor features (e.g. ML top-level pretty
printing) are not yet supported, though.
<p>