tuned;
authorwenzelm
Fri May 23 18:55:28 1997 +0200 (1997-05-23)
changeset 3322bc4d107fb6dd
parent 3321 c609a0119fd8
child 3323 194ae2e0c193
tuned;
INSTALL
README.html
     1.1 --- a/INSTALL	Fri May 23 18:20:20 1997 +0200
     1.2 +++ b/INSTALL	Fri May 23 18:55:28 1997 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4  
     1.5  IMPORTANT NOTE: This file describes the *new* installation procedure
     1.6  using various scripts that are still supposed beta for Isabelle94-8.
     1.7 -If you encounter any problems, you may want to consider compiling
     1.8 +If you encounter serious problems, you may want to consider compiling
     1.9  Isabelle the olden way, as described in README.old.
    1.10  
    1.11  ***************************************************************************
     2.1 --- a/README.html	Fri May 23 18:20:20 1997 +0200
     2.2 +++ b/README.html	Fri May 23 18:55:28 1997 +0200
     2.3 @@ -83,10 +83,11 @@
     2.4  The distribution includes only a very primitive interface based on
     2.5  ordinary terminal sessions.<p>
     2.6  
     2.7 -David Aspinall has written an infinitely better <a
     2.8 +David Aspinall has written a more elaborate <a
     2.9  href="ftp://ftp.dcs.ed.ac.uk/pub/da/Isamode.tar.gz">user interface</a>
    2.10 -for Isabelle.  It runs under GNU Emacs and XEmacs.  It's useful to
    2.11 -both novices and experts.
    2.12 +for Isabelle.  It runs under recent versions of GNU Emacs and XEmacs,
    2.13 +the latter being recommended.  It's useful to both novices and
    2.14 +experts.
    2.15  
    2.16  
    2.17  <h2>Other sources of information</h2>