tuned;
authorwenzelm
Thu Jan 14 12:23:00 1999 +0100 (1999-01-14)
changeset 612559507030d953
parent 6124 3aa7926f039a
child 6126 826576f7e137
tuned;
README.html
     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>