changeset 3322 bc4d107fb6dd
parent 3306 13d955a405f3
child 3360 85a7eede097e
--- 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="">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
 <h2>Other sources of information</h2>