README.html
changeset 4481 b595116eb3c4
parent 4431 22f31e6e5aad
child 4582 c5cfd00e4f28
     1.1 --- a/README.html	Wed Dec 24 12:21:06 1997 +0100
     1.2 +++ b/README.html	Wed Dec 24 12:38:40 1997 +0100
     1.3 @@ -53,8 +53,7 @@
     1.4  href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">SML/NJ</a>
     1.5  needs lots of store and disk space, but it is free.  The current
     1.6  official release is 110.  We also still support the old 0.93 release
     1.7 -and working versions 109.27 to 109.33.  Support for the 109 line of
     1.8 -SML/NJ will be dropped next time!
     1.9 +and working versions 109.27 to 109.33.
    1.10  
    1.11  <p>
    1.12  
    1.13 @@ -85,11 +84,10 @@
    1.14  The distribution includes only a very primitive interface based on
    1.15  ordinary terminal sessions.<p>
    1.16  
    1.17 -David Aspinall has written a more elaborate <a
    1.18 -href="ftp://ftp.dcs.ed.ac.uk/pub/da/Isamode.tar.gz">user interface</a>
    1.19 -for Isabelle.  It runs under recent versions of GNU Emacs and XEmacs,
    1.20 -the latter being recommended.  It's useful to both novices and
    1.21 -experts.
    1.22 +<a href="ftp://ftp.dcs.ed.ac.uk/pub/da/Isamode.tar.gz">Isamode</a> by
    1.23 +David Aspinall is a more elaborate interface for Isabelle.  It runs
    1.24 +under recent versions of GNU Emacs and XEmacs, the latter being
    1.25 +recommended.  It's useful to both novices and experts.
    1.26  
    1.27  
    1.28  <h2>Other sources of information</h2>