README.html
changeset 3322 bc4d107fb6dd
parent 3306 13d955a405f3
child 3360 85a7eede097e
     1.1 --- a/README.html	Fri May 23 18:20:20 1997 +0200
     1.2 +++ b/README.html	Fri May 23 18:55:28 1997 +0200
     1.3 @@ -83,10 +83,11 @@
     1.4  The distribution includes only a very primitive interface based on
     1.5  ordinary terminal sessions.<p>
     1.6  
     1.7 -David Aspinall has written an infinitely better <a
     1.8 +David Aspinall has written a more elaborate <a
     1.9  href="ftp://ftp.dcs.ed.ac.uk/pub/da/Isamode.tar.gz">user interface</a>
    1.10 -for Isabelle.  It runs under GNU Emacs and XEmacs.  It's useful to
    1.11 -both novices and experts.
    1.12 +for Isabelle.  It runs under recent versions of GNU Emacs and XEmacs,
    1.13 +the latter being recommended.  It's useful to both novices and
    1.14 +experts.
    1.15  
    1.16  
    1.17  <h2>Other sources of information</h2>