--- a/README.html Fri May 23 18:20:20 1997 +0200
+++ b/README.html Fri May 23 18:55:28 1997 +0200
@@ -83,10 +83,11 @@
The distribution includes only a very primitive interface based on
ordinary terminal sessions.<p>
-David Aspinall has written an infinitely better <a
+David Aspinall has written a more elaborate <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.
+for Isabelle. It runs under recent versions of GNU Emacs and XEmacs,
+the latter being recommended. It's useful to both novices and
+experts.
<h2>Other sources of information</h2>