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