INSTALL
changeset 5395 b890c27c93d6
parent 4260 f6bdfbd0e1c3
child 5396 cfc1fe0b8490
     1.1 --- a/INSTALL	Thu Aug 27 18:02:40 1998 +0200
     1.2 +++ b/INSTALL	Thu Aug 27 18:34:55 1998 +0200
     1.3 @@ -51,8 +51,13 @@
     1.4  
     1.5  This starts an interactive Isabelle session within your current text
     1.6  terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
     1.7 -search PATH. Please do *not* copy (or link) the Isabelle scripts
     1.8 -somewhere else -- or they just won't work!
     1.9 +search PATH.
    1.10 +
    1.11 +Please do *not* copy (or link) the Isabelle scripts anywhere else --
    1.12 +or they just won't work!  If you really feel the urge to install
    1.13 +independent Isabelle binaries somewhere use
    1.14 +[ISABELLE_HOME]/bin/isatool install (see the system manual for more
    1.15 +information).
    1.16  
    1.17  
    1.18  $Id$