--- a/Admin/page/dist-content/packages.content Wed Sep 20 00:50:09 2000 +0200
+++ b/Admin/page/dist-content/packages.content Wed Sep 20 14:59:19 2000 +0200
@@ -67,11 +67,17 @@
Example installation in <tt>/usr/share</tt> (the default location):
<pre>
-rpm -i --force --prefix /usr/share polyml.i386.rpm
-rpm -i --force --prefix /usr/share isabelle.rpm
-rpm -i --force --prefix /usr/share isabelle-HOL.i386.rpm
-rpm -i --force --prefix /usr/share proofgeneral.rpm
-rpm -i --force --prefix /usr/share xsymbol.rpm
+rpm -i --prefix /usr/share polyml.i386.rpm
+rpm -i --prefix /usr/share isabelle.rpm
+rpm -i --prefix /usr/share isabelle-HOL.i386.rpm
+rpm -i --prefix /usr/share proofgeneral.rpm
+rpm -i --prefix /usr/share xsymbol.rpm
+</pre>
+
+Note that installed RPMs may be removed like this:
+
+<pre>
+rpm -e xsymbol proofgeneral isabelle-HOL isabelle polyml
</pre>
<p>