# HG changeset patch
# User wenzelm
# Date 964346310 -7200
# Node ID d505b11ce30dd2d47eba8f4fef3a34a4916f7d4e
# Parent  3235873fdd90d53587eb30f4cfebc0b5ba8d8203
tuned;

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 @@
 <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.