changeset 5534 c2cd79a6645f
parent 5402 49b118cbbea0
child 5665 1dc74203b1d2
--- a/README.html	Tue Sep 22 15:24:39 1998 +0200
+++ b/README.html	Tue Sep 22 17:08:30 1998 +0200
@@ -83,10 +83,10 @@
 The distribution includes only a very primitive interface based on
 ordinary terminal sessions.<p>
-<a href="">Isamode</a> by
+<a href="">Isamode</a> by
 David Aspinall is a more elaborate interface for Isabelle.  It runs
-under recent versions of GNU Emacs and XEmacs, the latter being
-recommended.  It's useful to both novices and experts.
+under recent versions of XEmacs and is useful to both novices and
 <h2>Other sources of information</h2>