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