diff -r 3235873fdd90 -r d505b11ce30d README.html --- a/README.html Sat Jul 22 12:58:12 2000 +0200 +++ b/README.html Sun Jul 23 11:58:30 2000 +0200 @@ -44,8 +44,6 @@
Poly/ML, previously a @@ -57,13 +55,14 @@ href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ needs lots of store and disk space, but supports many more platforms. The current official release is 110. Basically, we still support the -old 0.93 release, but do not recommend it. +old 0.93 release, but do not recommend to use it under normal +circumstances.
MLWorks is a commercial ML programming environment developed by Harlequin and was unfortunately withdrawn after that company was taken over. 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. ML +works reasonably well. It is about 20% faster than on SML/NJ while +using slightly less memory and disk space. A few features (e.g. ML top-level pretty printing) are not supported, though.