Tue, 06 May 1997 15:24:41 +0200
changeset 3117 74c1b51c1cd9
parent 3116 b890bae4273e
child 3118 24dae6222579
--- 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
-Objects logics can be made similarly, e.g.:
+More object-logics can be made similarly:
   ./build FOL HOL