INSTALL
changeset 3263 124bb367dc0e
parent 3117 74c1b51c1cd9
child 3322 bc4d107fb6dd
     1.1 --- a/INSTALL	Tue May 20 19:34:24 1997 +0200
     1.2 +++ b/INSTALL	Tue May 20 19:34:50 1997 +0200
     1.3 @@ -3,8 +3,8 @@
     1.4  
     1.5  IMPORTANT NOTE: This file describes the *new* installation procedure
     1.6  using various scripts that are still supposed beta for Isabelle94-8.
     1.7 -If you encounter any problems, you may want to try compiling Isabelle
     1.8 -the olden way as described in README.
     1.9 +If you encounter any problems, you may want to consider compiling
    1.10 +Isabelle the olden way, as described in README.old.
    1.11  
    1.12  ***************************************************************************
    1.13  
    1.14 @@ -12,19 +12,19 @@
    1.15  Isabelle installation notes
    1.16  ===========================
    1.17  
    1.18 -1. Unpacking
    1.19 -------------
    1.20 +Unpacking the archive
    1.21 +---------------------
    1.22  
    1.23 -Unpacking the Isabelle distribution archive (using tar and gzip)
    1.24 -leaves you with some directory IsabelleYY-X. You may install this
    1.25 +After unpacking the Isabelle distribution archive (using tar and gzip)
    1.26 +you are left with some directory IsabelleYY-X. You may install this
    1.27  anywhere, but please just *not* as ~/isabelle!!!
    1.28  
    1.29  The place where you put the contents of IsabelleYY-X will be referred
    1.30  to as [ISABELLE_HOME] subsequently.
    1.31  
    1.32  
    1.33 -2. Auto configuration
    1.34 ----------------------
    1.35 +Auto configuration
    1.36 +------------------
    1.37  
    1.38  There are some minor adaptions to be made of the Isabelle distribution
    1.39  to your system environment. Simply type:
    1.40 @@ -33,8 +33,8 @@
    1.41    ./configure
    1.42  
    1.43  
    1.44 -3. ML system settings and compilation
    1.45 --------------------------------------
    1.46 +ML system settings and compilation
    1.47 +----------------------------------
    1.48  
    1.49  Before actual compilation you have to tell Isabelle about your
    1.50  Standard ML system.  These settings reside in ./etc/settings, which
    1.51 @@ -51,18 +51,18 @@
    1.52    ./build FOL HOL
    1.53  
    1.54  
    1.55 -4. Running the system
    1.56 ----------------------
    1.57 +Running the system
    1.58 +------------------
    1.59  
    1.60 -Provided that compilation was succesful, you can now run something
    1.61 +Provided that compilation was successful, you can now run something
    1.62  like:
    1.63  
    1.64    [ISABELLE_HOME]/bin/isabelle FOL
    1.65  
    1.66 -to start and interactive Isabelle session within your current
    1.67 +This starts an interactive Isabelle session within your current text
    1.68  terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
    1.69 -PATH. Please do *not* copy (or link) the Isabelle scripts somewhere
    1.70 -else -- or they just won't work!
    1.71 +search PATH. Please do *not* copy (or link) the Isabelle scripts
    1.72 +somewhere else -- or they just won't work!
    1.73  
    1.74  
    1.75  $Id$