# HG changeset patch
# User wenzelm
# Date 906476910 -7200
# Node ID c2cd79a6645f158f399abdf2a1a3af16842e03e2
# Parent  bce36a019b0317abf96a592899a3bcbca5ae265e
tuned Isamode;

diff -r bce36a019b03 -r c2cd79a6645f README.html
--- 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>