--- 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 @@
<ul>
<li> Poly/ML 3.x on Linux and Sparc/Solaris.
<li> SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
-<li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
-problems with Linux and HP-UX, though.
</ul>
<p> <a href="http://www.polyml.org/">Poly/ML</a>, previously a
@@ -57,13 +55,14 @@
href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
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.
<p> MLWorks is a commercial ML programming environment developed by <a
href="http://www.harlequin.com/">Harlequin</a> 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.