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