README.html
changeset 4481 b595116eb3c4
parent 4431 22f31e6e5aad
child 4582 c5cfd00e4f28
--- a/README.html	Wed Dec 24 12:21:06 1997 +0100
+++ b/README.html	Wed Dec 24 12:38:40 1997 +0100
@@ -53,8 +53,7 @@
 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!
+and working versions 109.27 to 109.33.
 
 <p>
 
@@ -85,11 +84,10 @@
 The distribution includes only a very primitive interface based on
 ordinary terminal sessions.<p>
 
-David Aspinall has written a more elaborate <a
-href="ftp://ftp.dcs.ed.ac.uk/pub/da/Isamode.tar.gz">user interface</a>
-for Isabelle.  It runs under recent versions of GNU Emacs and XEmacs,
-the latter being recommended.  It's useful to both novices and
-experts.
+<a href="ftp://ftp.dcs.ed.ac.uk/pub/da/Isamode.tar.gz">Isamode</a> by
+David Aspinall is a more elaborate interface for Isabelle.  It runs
+under recent versions of GNU Emacs and XEmacs, the latter being
+recommended.  It's useful to both novices and experts.
 
 
 <h2>Other sources of information</h2>