updated the MLWorks description
authorpaulson
Tue Oct 20 11:16:23 1998 +0200 (1998-10-20)
changeset 5678e68c518b9140
parent 5677 4feffde494cf
child 5679 916c75592bf6
updated the MLWorks description
README.html
     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