# HG changeset patch
# User wenzelm
# Date 916312980 -3600
# Node ID 59507030d953936133ef9cd80f2f5f086c0e521f
# Parent  3aa7926f039a9f65cbf410c6b3a72a9e233b3034
tuned;

diff -r 3aa7926f039a -r 59507030d953 README.html
--- 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>