INSTALL
changeset 28504 7ad7d7d6df47
parent 24797 3bc50959c7f0
child 29145 b1c6f4563df7
     1.1 --- a/INSTALL	Sat Oct 04 16:19:49 2008 +0200
     1.2 +++ b/INSTALL	Sat Oct 04 17:40:56 2008 +0200
     1.3 @@ -36,13 +36,13 @@
     1.4  The installation may be finished as follows:
     1.5  
     1.6    cd [ISABELLE_HOME]
     1.7 -  ./bin/isatool install -p /usr/local/bin
     1.8 +  ./bin/isabelle install -p /usr/local/bin
     1.9  
    1.10  The install utility creates global references to the present Isabelle
    1.11  installation, enabling users to invoke the Isabelle executables
    1.12 -without explicit path names.  Incidently, this is the only place where
    1.13 -a static reference to [ISABELLE_HOME] is created; thus isatool install
    1.14 -has to be run again whenever the Isabelle distribution is moved later.
    1.15 +without explicit path names.  This is the only place where a static
    1.16 +reference to [ISABELLE_HOME] is created; thus isabelle install has to
    1.17 +be run again whenever the Isabelle distribution is moved later.
    1.18  
    1.19  
    1.20  Compiling logics
    1.21 @@ -69,18 +69,18 @@
    1.22  Running the Isabelle binaries
    1.23  -----------------------------
    1.24  
    1.25 -Users may invoke the Isabelle binaries (isatool, isabelle, Isabelle)
    1.26 -directly from their location within the distribution directory
    1.27 -[ISABELLE_HOME] like this:
    1.28 +Users may invoke the main Isabelle binaries (isabelle and
    1.29 +isabelle-process) directly from their location within the distribution
    1.30 +directory [ISABELLE_HOME] like this:
    1.31  
    1.32 -  [ISABELLE_HOME]/bin/isabelle HOL
    1.33 +  [ISABELLE_HOME]/bin/isabelle-process HOL
    1.34  
    1.35  This starts an interactive Isabelle session within the current text
    1.36  terminal.  [ISABELLE_HOME]/bin may be put into the shell's search
    1.37  PATH.  An alternative is to create global references to the Isabelle
    1.38  executables as follows:
    1.39  
    1.40 -  [ISABELLE_HOME]/bin/isatool install -p ~/bin
    1.41 +  [ISABELLE_HOME]/bin/isabelle install -p ~/bin
    1.42  
    1.43  Note that the site-wide Isabelle installation may already provide
    1.44  Isabelle executables in some global bin directory (such as