tuned;
authorwenzelm
Mon Dec 15 15:32:27 1997 +0100 (1997-12-15)
changeset 4414ac5cb6219db7
parent 4413 0d246395e311
child 4415 715e5e2064d8
tuned;
README.html
     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>