--- a/README.html Wed Dec 17 15:43:54 1997 +0100
+++ b/README.html Wed Dec 17 17:51:39 1997 +0100
@@ -49,6 +49,15 @@
<p>
+<a
+href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
+needs lots of store and disk space, but it is free. The current
+official release is 110. We also still support the old 0.93 release
+and working versions 109.27 to 109.33. Support for the 109 line of
+SML/NJ will be dropped next time!
+
+<p>
+
<a href="http://www.ahl.co.uk/poly-ml.html">Poly/ML</a> is a
commercial product and costs money, but it is stable and efficient. It
requires relatively little memory (starting at about 16MB) and disk
@@ -56,12 +65,11 @@
<p>
-<a
-href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
-needs lots of store and disk space, but it is free. The current
-official release is 110. We also still support the old 0.93 release
-and working versions 109.27 to 109.33. Support for the 109 line of
-SML/NJ will be dropped next time!
+<a href="http://www.harlequin.com/products/ads/ml/">MLWorks</a> is a
+commercial ML programming environment. Isabelle on MLWorks should be
+still considered experimental!
+
+<p>
<h2>Installation</h2>