tuned Isamode;
Tue, 22 Sep 1998 17:08:30 +0200
changeset 5534 c2cd79a6645f
parent 5533 bce36a019b03
child 5535 678999604ee9
tuned Isamode;
--- 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
 <h2>Other sources of information</h2>