--- a/README.html Tue Sep 22 15:24:39 1998 +0200
+++ b/README.html Tue Sep 22 17:08:30 1998 +0200
@@ -83,10 +83,10 @@
The distribution includes only a very primitive interface based on
ordinary terminal sessions.<p>
-<a href="ftp://ftp.dcs.ed.ac.uk/pub/da/Isamode.tar.gz">Isamode</a> by
+<a href="http://www.dcs.ed.ac.uk/home/da/Isamode/">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.
+under recent versions of XEmacs and is useful to both novices and
+experts.
<h2>Other sources of information</h2>