INSTALL
changeset 5396 cfc1fe0b8490
parent 5395 b890c27c93d6
child 6258 1f85c03fb3df
equal deleted inserted replaced
5395:b890c27c93d6 5396:cfc1fe0b8490
    53 terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
    53 terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
    54 search PATH.
    54 search PATH.
    55 
    55 
    56 Please do *not* copy (or link) the Isabelle scripts anywhere else --
    56 Please do *not* copy (or link) the Isabelle scripts anywhere else --
    57 or they just won't work!  If you really feel the urge to install
    57 or they just won't work!  If you really feel the urge to install
    58 independent Isabelle binaries somewhere use
    58 independent Isabelle binaries somewhere you should rather do it like
    59 [ISABELLE_HOME]/bin/isatool install (see the system manual for more
    59 this:
    60 information).
    60 
       
    61   [ISABELLE_HOME]/bin/isatool install /usr/local/bin
       
    62 
    61 
    63 
    62 
    64 
    63 $Id$
    65 $Id$