--- a/Admin/page/dist-content/packages.content Mon Feb 05 14:30:55 2001 +0100
+++ b/Admin/page/dist-content/packages.content Mon Feb 05 14:31:49 2001 +0100
@@ -106,19 +106,8 @@
<p>
-The installation may be finished as follows:
-
-<p>
-
-<tt>
- <!-- _GP_ "cd /usr/local/" . distname --> <br>
- ./bin/isatool install -p /usr/local/bin <br>
-</tt>
-
-<p>
-
-Users can now invoke the Isabelle executables without further ado,
-e.g. just start the main <tt>Isabelle</tt> executable to lauch the
+Users may now invoke Isabelle without further ado, e.g. run the main
+executable <tt>/usr/local/Isabelle/bin/Isabelle</tt> to launch the
Isabelle Proof General interface.
<p>