INSTALL
changeset 3117 74c1b51c1cd9
parent 2772 263c0c212dfe
child 3263 124bb367dc0e
     1.1 --- a/INSTALL	Tue May 06 15:04:53 1997 +0200
     1.2 +++ b/INSTALL	Tue May 06 15:24:41 1997 +0200
     1.3 @@ -17,7 +17,7 @@
     1.4  
     1.5  Unpacking the Isabelle distribution archive (using tar and gzip)
     1.6  leaves you with some directory IsabelleYY-X. You may install this
     1.7 -anywhere, but please just *not* as ~/isabelle!
     1.8 +anywhere, but please just *not* as ~/isabelle!!!
     1.9  
    1.10  The place where you put the contents of IsabelleYY-X will be referred
    1.11  to as [ISABELLE_HOME] subsequently.
    1.12 @@ -41,11 +41,12 @@
    1.13  may be also overridden by ~/isabelle/etc/settings. There are already
    1.14  various sample configurations in ./etc/settings commented out.
    1.15  
    1.16 -To build the core Isabelle/Pure, now just type:
    1.17 +To build the core Isabelle/Pure and the default object-logic, just
    1.18 +type:
    1.19  
    1.20    ./build
    1.21  
    1.22 -Objects logics can be made similarly, e.g.:
    1.23 +More object-logics can be made similarly:
    1.24  
    1.25    ./build FOL HOL
    1.26