README.html
changeset 4431 22f31e6e5aad
parent 4414 ac5cb6219db7
child 4481 b595116eb3c4
     1.1 --- a/README.html	Wed Dec 17 15:43:54 1997 +0100
     1.2 +++ b/README.html	Wed Dec 17 17:51:39 1997 +0100
     1.3 @@ -49,6 +49,15 @@
     1.4  
     1.5  <p>
     1.6  
     1.7 +<a
     1.8 +href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
     1.9 +needs lots of store and disk space, but it is free.  The current
    1.10 +official release is 110.  We also still support the old 0.93 release
    1.11 +and working versions 109.27 to 109.33.  Support for the 109 line of
    1.12 +SML/NJ will be dropped next time!
    1.13 +
    1.14 +<p>
    1.15 +
    1.16  <a href="http://www.ahl.co.uk/poly-ml.html">Poly/ML</a> is a
    1.17  commercial product and costs money, but it is stable and efficient. It
    1.18  requires relatively little memory (starting at about 16MB) and disk
    1.19 @@ -56,12 +65,11 @@
    1.20  
    1.21  <p>
    1.22  
    1.23 -<a
    1.24 -href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
    1.25 -needs lots of store and disk space, but it is free.  The current
    1.26 -official release is 110.  We also still support the old 0.93 release
    1.27 -and working versions 109.27 to 109.33.  Support for the 109 line of
    1.28 -SML/NJ will be dropped next time!
    1.29 +<a href="http://www.harlequin.com/products/ads/ml/">MLWorks</a> is a
    1.30 +commercial ML programming environment.  Isabelle on MLWorks should be
    1.31 +still considered experimental!
    1.32 +
    1.33 +<p>
    1.34  
    1.35  
    1.36  <h2>Installation</h2>