# HG changeset patch
# User wenzelm
# Date 904235783 -7200
# Node ID cfc1fe0b84907038421cece0774d8a2fab4a51e3
# Parent  b890c27c93d607981866862f74b2e05c595ffcab
tuned;

diff -r b890c27c93d6 -r cfc1fe0b8490 INSTALL
--- 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$