# HG changeset patch
# User wenzelm
# Date 904235695 -7200
# Node ID b890c27c93d607981866862f74b2e05c595ffcab
# Parent  2049fbac1407ec885e1e94f4ca7e099a3bf40984
isatool install;

diff -r 2049fbac1407 -r b890c27c93d6 INSTALL
--- a/INSTALL	Thu Aug 27 18:02:40 1998 +0200
+++ b/INSTALL	Thu Aug 27 18:34:55 1998 +0200
@@ -51,8 +51,13 @@
 
 This starts an interactive Isabelle session within your current text
 terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
-search PATH. Please do *not* copy (or link) the Isabelle scripts
-somewhere else -- or they just won't work!
+search PATH.
+
+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).
 
 
 $Id$