INSTALL
changeset 10038 839340b78fc8
parent 10029 b889474af53f
child 10081 352412857003
     1.1 --- a/INSTALL	Wed Sep 20 00:50:09 2000 +0200
     1.2 +++ b/INSTALL	Wed Sep 20 14:59:19 2000 +0200
     1.3 @@ -70,11 +70,15 @@
     1.4  
     1.5  A minimal installation would work like this (executed as root):
     1.6  
     1.7 -  rpm -i --force --prefix /usr/share polyml.i386.rpm
     1.8 -  rpm -i --force --prefix /usr/share isabelle.rpm
     1.9 -  rpm -i --force --prefix /usr/share isabelle-HOL.i386.rpm
    1.10 +  rpm -i --prefix /usr/share polyml.i386.rpm
    1.11 +  rpm -i --prefix /usr/share isabelle.rpm
    1.12 +  rpm -i --prefix /usr/share isabelle-HOL.i386.rpm
    1.13  
    1.14 -The install prefix may be changed as indicated.  By default the ML
    1.15 +Note that installed RPMs may be removed like this:
    1.16 +
    1.17 +  rpm -e isabelle-HOL isabelle polyml
    1.18 +
    1.19 +The install prefix given above may be changed.  By default the ML
    1.20  system (and other contributed packages) are expected in either of the
    1.21  following three locations:
    1.22  
    1.23 @@ -83,7 +87,8 @@
    1.24    3) /usr/share
    1.25    4) /usr/local
    1.26  
    1.27 -This may be changed by editing [ISABELLE_HOME]/etc/settings manually.
    1.28 +This may be changed further by editing [ISABELLE_HOME]/etc/settings
    1.29 +manually.
    1.30  
    1.31  Note that isabelle.rpm and isabelle-pdfdocs.rpm already contain all of
    1.32  Isabelle as platform independent sources.  Precompiled object-logics