# HG changeset patch
# User wenzelm
# Date 880036731 -3600
# Node ID f6bdfbd0e1c381c80cc9a37f3664247cd76c7cb5
# Parent  adbe3f4e7caf314ff39f99a7fb59fe7752520536
removed old note;

diff -r adbe3f4e7caf -r f6bdfbd0e1c3 INSTALL
--- 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
 ===========================