--- 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>