--- 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>