README.html
changeset 4431 22f31e6e5aad
parent 4414 ac5cb6219db7
child 4481 b595116eb3c4
--- 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>