README.html
changeset 3306 13d955a405f3
parent 3279 815ef5848324
child 3322 bc4d107fb6dd
     1.1 --- a/README.html	Thu May 22 16:44:47 1997 +0200
     1.2 +++ b/README.html	Thu May 22 17:20:55 1997 +0200
     1.3 @@ -78,6 +78,17 @@
     1.4  sources.
     1.5  
     1.6  
     1.7 +<h2>Interfaces</h2>
     1.8 +
     1.9 +The distribution includes only a very primitive interface based on
    1.10 +ordinary terminal sessions.<p>
    1.11 +
    1.12 +David Aspinall has written an infinitely better <a
    1.13 +href="ftp://ftp.dcs.ed.ac.uk/pub/da/Isamode.tar.gz">user interface</a>
    1.14 +for Isabelle.  It runs under GNU Emacs and XEmacs.  It's useful to
    1.15 +both novices and experts.
    1.16 +
    1.17 +
    1.18  <h2>Other sources of information</h2>
    1.19  
    1.20  <h3>Mailing list</h3>