Admin/page/dist-content/packages.content
changeset 10038 839340b78fc8
parent 10028 2ff14fc92570
child 10072 5041006d6779
     1.1 --- a/Admin/page/dist-content/packages.content	Wed Sep 20 00:50:09 2000 +0200
     1.2 +++ b/Admin/page/dist-content/packages.content	Wed Sep 20 14:59:19 2000 +0200
     1.3 @@ -67,11 +67,17 @@
     1.4  Example installation in <tt>/usr/share</tt> (the default location):
     1.5  
     1.6  <pre>
     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 --force --prefix /usr/share proofgeneral.rpm
    1.11 -rpm -i --force --prefix /usr/share xsymbol.rpm
    1.12 +rpm -i --prefix /usr/share polyml.i386.rpm
    1.13 +rpm -i --prefix /usr/share isabelle.rpm
    1.14 +rpm -i --prefix /usr/share isabelle-HOL.i386.rpm
    1.15 +rpm -i --prefix /usr/share proofgeneral.rpm
    1.16 +rpm -i --prefix /usr/share xsymbol.rpm
    1.17 +</pre>
    1.18 +
    1.19 +Note that installed RPMs may be removed like this:
    1.20 +
    1.21 +<pre>
    1.22 +rpm -e xsymbol proofgeneral isabelle-HOL isabelle polyml
    1.23  </pre>
    1.24  
    1.25  <p>