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