diff -r c609a0119fd8 -r bc4d107fb6dd README.html --- 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.

-David Aspinall has written an infinitely better user interface -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.

Other sources of information