INSTALL
changeset 17547 b0d70cf4ed18
parent 16653 c12c2f411f77
child 24797 3bc50959c7f0
     1.1 --- a/INSTALL	Wed Sep 21 11:50:20 2005 +0200
     1.2 +++ b/INSTALL	Wed Sep 21 11:50:38 2005 +0200
     1.3 @@ -17,7 +17,6 @@
     1.4  site installation of Isabelle on Linux/x86 works like this:
     1.5  
     1.6    tar -C /usr/local -xzf Isabelle.tar.gz
     1.7 -  tar -C /usr/local -xzf polyml_base.tar.gz
     1.8    tar -C /usr/local -xzf polyml_x86-linux.tar.gz
     1.9    tar -C /usr/local -xzf HOL_x86-linux.tar.gz
    1.10  
    1.11 @@ -27,8 +26,8 @@
    1.12  
    1.13    1) [ISABELLE_HOME]/contrib
    1.14    2) [ISABELLE_HOME]/..
    1.15 +  4) /usr/local
    1.16    3) /usr/share
    1.17 -  4) /usr/local
    1.18    5) /opt
    1.19  
    1.20  This may be changed by editing [ISABELLE_HOME]/etc/settings manually.
    1.21 @@ -49,7 +48,7 @@
    1.22  ----------------
    1.23  
    1.24  The Isabelle.tar.gz archive already contains all Isabelle sources (and
    1.25 -documentation). Precompiled object-logics are provided for
    1.26 +documentation).  Precompiled object-logics are provided for
    1.27  convenience.
    1.28  
    1.29  Assuming proper configuration of the underlying ML system
    1.30 @@ -60,7 +59,7 @@
    1.31  
    1.32  Special object-logic targets may be specified as follows:
    1.33  
    1.34 -  [ISABELLE_HOME]/build -m HOL-Complex HOL
    1.35 +  [ISABELLE_HOME]/build -m HOL-Algebra HOL
    1.36  
    1.37  
    1.38  2) User installation