--- a/INSTALL Thu Aug 27 18:34:55 1998 +0200
+++ b/INSTALL Thu Aug 27 18:36:23 1998 +0200
@@ -55,9 +55,11 @@
Please do *not* copy (or link) the Isabelle scripts anywhere else --
or they just won't work! If you really feel the urge to install
-independent Isabelle binaries somewhere use
-[ISABELLE_HOME]/bin/isatool install (see the system manual for more
-information).
+independent Isabelle binaries somewhere you should rather do it like
+this:
+
+ [ISABELLE_HOME]/bin/isatool install /usr/local/bin
+
$Id$