diff -r b890bae4273e -r 74c1b51c1cd9 INSTALL
--- a/INSTALL	Tue May 06 15:04:53 1997 +0200
+++ b/INSTALL	Tue May 06 15:24:41 1997 +0200
@@ -17,7 +17,7 @@
 
 Unpacking the Isabelle distribution archive (using tar and gzip)
 leaves you with some directory IsabelleYY-X. You may install this
-anywhere, but please just *not* as ~/isabelle!
+anywhere, but please just *not* as ~/isabelle!!!
 
 The place where you put the contents of IsabelleYY-X will be referred
 to as [ISABELLE_HOME] subsequently.
@@ -41,11 +41,12 @@
 may be also overridden by ~/isabelle/etc/settings. There are already
 various sample configurations in ./etc/settings commented out.
 
-To build the core Isabelle/Pure, now just type:
+To build the core Isabelle/Pure and the default object-logic, just
+type:
 
   ./build
 
-Objects logics can be made similarly, e.g.:
+More object-logics can be made similarly:
 
   ./build FOL HOL