# HG changeset patch
# User wenzelm
# Date 864406528 -7200
# Node ID bc4d107fb6dd3dcfe81375509fefe5550cb1ddbd
# Parent  c609a0119fd84e394a7803d80da836ecd050ac4c
tuned;

diff -r c609a0119fd8 -r bc4d107fb6dd INSTALL
--- a/INSTALL	Fri May 23 18:20:20 1997 +0200
+++ b/INSTALL	Fri May 23 18:55:28 1997 +0200
@@ -3,7 +3,7 @@
 
 IMPORTANT NOTE: This file describes the *new* installation procedure
 using various scripts that are still supposed beta for Isabelle94-8.
-If you encounter any problems, you may want to consider compiling
+If you encounter serious problems, you may want to consider compiling
 Isabelle the olden way, as described in README.old.
 
 ***************************************************************************
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.<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>