README.html
changeset 4414 ac5cb6219db7
parent 4401 384108c6e209
child 4431 22f31e6e5aad
     1.1 --- a/README.html	Mon Dec 15 15:27:03 1997 +0100
     1.2 +++ b/README.html	Mon Dec 15 15:32:27 1997 +0100
     1.3 @@ -56,14 +56,12 @@
     1.4  
     1.5  <p>
     1.6  
     1.7 -SML/NJ needs lots of store and disk space, but it is <a
     1.8 -href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">free</a>.
     1.9 -The current official release is 110.  We also still support the old
    1.10 -0.93 release and working versions 109.27 to 109.33.  Support for the
    1.11 -109 line of SML/NJ will be dropped next time!  There is an unofficial
    1.12 -pre-built binary distribution of <a
    1.13 -href="http://www4.informatik.tu-muenchen.de/~isabelle/dist/smlnj-110/">SML/NJ
    1.14 -110 for Linux.</a>
    1.15 +<a
    1.16 +href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
    1.17 +needs lots of store and disk space, but it is free.  The current
    1.18 +official release is 110.  We also still support the old 0.93 release
    1.19 +and working versions 109.27 to 109.33.  Support for the 109 line of
    1.20 +SML/NJ will be dropped next time!
    1.21  
    1.22  
    1.23  <h2>Installation</h2>