1.1 --- a/INSTALL	Thu Nov 20 15:36:09 1997 +0100
     1.2 +++ b/INSTALL	Thu Nov 20 15:38:51 1997 +0100
     1.3 @@ -1,13 +1,3 @@
     1.4 -
     1.5 -***************************************************************************
     1.6 -
     1.7 -IMPORTANT NOTE: This file describes the *new* installation procedure
     1.8 -using various scripts that are still supposed beta for Isabelle94-8.
     1.9 -If you encounter serious problems, you may want to consider compiling
    1.10 -Isabelle the olden way, as described in README.old.
    1.11 -
    1.12 -***************************************************************************
    1.13 -
    1.14  
    1.15  Isabelle installation notes
    1.16  ===========================