--- a/INSTALL Thu Apr 22 15:03:50 1999 +0200
+++ b/INSTALL Thu Apr 22 15:16:59 1999 +0200
@@ -1,6 +1,6 @@
-Isabelle installation notes
-===========================
+Isabelle compilation and installation notes
+===========================================
Unpacking the archive
---------------------