README.html
changeset 6125 59507030d953
parent 6077 60d97d521453
child 6486 1f1d5e00e0a5
     1.1 --- a/README.html	Wed Jan 13 16:38:52 1999 +0100
     1.2 +++ b/README.html	Thu Jan 14 12:23:00 1999 +0100
     1.3 @@ -64,7 +64,7 @@
     1.4  <a href="http://www.harlequin.com/products/ads/ml/">MLWorks</a> is a
     1.5  commercial ML programming environment.  Isabelle on MLWorks 2.0 works
     1.6  well.  It is about 20% faster than on SML/NJ while using slightly less
     1.7 -memory and disk space.  A few minor features (e.g. top-level pretty
     1.8 +memory and disk space.  A few minor features (e.g. ML top-level pretty
     1.9  printing) are not yet supported, though.
    1.10  
    1.11  <p>