1.1 --- a/INSTALL	Mon Sep 11 20:24:06 2000 +0200
     1.2 +++ b/INSTALL	Mon Sep 11 20:41:44 2000 +0200
     1.3 @@ -68,15 +68,13 @@
     1.4  as SuSE, RedHat etc.).  A typical installation procedure would be like
     1.5  this (executed as root):
     1.6  
     1.7 -  rpm -i smlnj-110.0-3.i386.rpm
     1.8 +  rpm -i --prefix /usr/share polyml.i386.rpm
     1.9    rpm -i --prefix /usr/share isabelle.rpm
    1.10    rpm -i --prefix /usr/share isabelle-HOL.i386.rpm
    1.11  
    1.12  The install prefix may be changed as indicated.  By default the ML
    1.13  system is expected to be at the same directory level as Isabelle
    1.14 -itself; changing this arrangement requires
    1.15 -[ISABELLE_HOME]/etc/settings to be adapted manually.
    1.16 -
    1.17 +itself; see [ISABELLE_HOME]/etc/settings of how to change this.
    1.18  
    1.19  Note that isabelle.rpm and isabelle-pdfdocs.rpm already contain all of
    1.20  Isabelle as platform independent sources.  Precompiled object-logics
    1.21 @@ -105,7 +103,6 @@
    1.22  and documentation as well.  Make sure your ML system (SML/NJ, Poly/ML
    1.23  etc.) has already been installed properly; then proceed as follows.
    1.24  
    1.25 -
    1.26  * Unpacking the archives.  After unpacking the Isabelle distribution
    1.27  archives (using tar and gzip) you are left with some directory
    1.28  IsabelleYY-X.  Basically, this may be installed anywhere --- just note
    1.29 @@ -113,7 +110,6 @@
    1.30  you put the contents of IsabelleYY-X will be referred to as
    1.31  [ISABELLE_HOME] subsequently.
    1.32  
    1.33 -
    1.34  * Auto configuration.  There are some minor adaptions to be made of
    1.35  the Isabelle distribution to your system environment (mostly locations
    1.36  of bash and perl).  Simply do it like this:
    1.37 @@ -125,7 +121,6 @@
    1.38  may safely move the system later, without having to run ./configure
    1.39  again.
    1.40  
    1.41 -
    1.42  * ML system settings and compilation.  Before actual compilation you
    1.43  have to tell Isabelle about your Standard ML system.  These settings
    1.44  reside in ./etc/settings, which may be also overridden by
    1.45 @@ -141,6 +136,10 @@
    1.46  
    1.47    ./build FOL HOL
    1.48  
    1.49 +Explicit make targets may be given as follows:
    1.50 +
    1.51 +  ./build -m HOL-Real HOL
    1.52 +
    1.53  After successful compilation you are ready to run the system, see 1)
    1.54  above for more information.
    1.55