# HG changeset patch
# User wenzelm
# Date 882377499 -3600
# Node ID 22f31e6e5aad2a4b8d88c28d61ca8fdc9cd84769
# Parent  b2c1cf960c5376524439a91593d80a0af2f2144e
added MLWorks;

diff -r b2c1cf960c53 -r 22f31e6e5aad README.html
--- 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>