changeset 5395 b890c27c93d6
parent 4260 f6bdfbd0e1c3
child 5396 cfc1fe0b8490
--- 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