--- a/Admin/page/dist-content/binary.content Wed Sep 13 18:47:30 2000 +0200
+++ b/Admin/page/dist-content/binary.content Wed Sep 13 22:27:10 2000 +0200
@@ -5,10 +5,10 @@
<p>
-The binary distribution is designed for easy installation of Isabelle
-and related tools (Proof General and X-Symbol) on common platforms.
-There is no manual intervention requires, no need to edit config files
-etc. by hand.
+<strong>NOTE.</strong> The binary distribution is designed for easy
+installation of Isabelle, and related tools such as Proof General and
+X-Symbol. There is no manual intervention required, provided that the
+versions of packages as provided below are used.
<h2>(1) Linux/x86 systems with RPM</h2>
@@ -71,19 +71,19 @@
<p>
-Example installation in <tt>/usr/share</tt> for Linux/x86:
+Example installation in <tt>/usr/local</tt> for Linux/x86:
<pre>
-tar -C /usr/share -x -z -f polyml_base.tar.gz
-tar -C /usr/share -x -z -f polyml_x86-linux.tar.gz
-tar -C /usr/share -x -z -f <!-- _GP_ distname . ".tar.gz"-->
-tar -C /usr/share -x -z -f ProofGeneral.tar.gz #requires XEmacs-21
-tar -C /usr/share -x -z -f x-symbol.tar.gz
+tar -C /usr/local -x -z -f polyml_base.tar.gz
+tar -C /usr/local -x -z -f polyml_x86-linux.tar.gz
+tar -C /usr/local -x -z -f <!-- _GP_ distname . ".tar.gz"-->
+tar -C /usr/local -x -z -f ProofGeneral.tar.gz #requires XEmacs-21
+tar -C /usr/local -x -z -f x-symbol.tar.gz
-cd <!-- _GP_ "/usr/share/" . distname -->
+cd <!-- _GP_ "/usr/local/" . distname -->
./configure
./build
-./bin/isatool install -p /usr/bin
+./bin/isatool install -p /usr/local/bin
</pre>
<p>