INSTALL
changeset 3322 bc4d107fb6dd
parent 3263 124bb367dc0e
child 4260 f6bdfbd0e1c3
     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  ***************************************************************************