tuned Isamode;
authorwenzelm
Tue Sep 22 17:08:30 1998 +0200 (1998-09-22)
changeset 5534c2cd79a6645f
parent 5533 bce36a019b03
child 5535 678999604ee9
tuned Isamode;
README.html
     1.1 --- a/README.html	Tue Sep 22 15:24:39 1998 +0200
     1.2 +++ b/README.html	Tue Sep 22 17:08:30 1998 +0200
     1.3 @@ -83,10 +83,10 @@
     1.4  The distribution includes only a very primitive interface based on
     1.5  ordinary terminal sessions.<p>
     1.6  
     1.7 -<a href="ftp://ftp.dcs.ed.ac.uk/pub/da/Isamode.tar.gz">Isamode</a> by
     1.8 +<a href="http://www.dcs.ed.ac.uk/home/da/Isamode/">Isamode</a> by
     1.9  David Aspinall is a more elaborate interface for Isabelle.  It runs
    1.10 -under recent versions of GNU Emacs and XEmacs, the latter being
    1.11 -recommended.  It's useful to both novices and experts.
    1.12 +under recent versions of XEmacs and is useful to both novices and
    1.13 +experts.
    1.14  
    1.15  
    1.16  <h2>Other sources of information</h2>