diff -r d8114e93ef66 -r 13d955a405f3 README.html --- 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. +
+ +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. + +