INSTALL
changeset 2772 263c0c212dfe
parent 2759 79def3619417
child 3117 74c1b51c1cd9
equal deleted inserted replaced
2771:9c85894d223d 2772:263c0c212dfe
    61 to start and interactive Isabelle session within your current
    61 to start and interactive Isabelle session within your current
    62 terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
    62 terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
    63 PATH. Please do *not* copy (or link) the Isabelle scripts somewhere
    63 PATH. Please do *not* copy (or link) the Isabelle scripts somewhere
    64 else -- or they just won't work!
    64 else -- or they just won't work!
    65 
    65 
    66 Other users may directly run your Isabelle installation without
       
    67 additional configuration, provided that no globally required settings
       
    68 reside in your ~/isabelle/etc/settings.
       
    69 
       
    70 
    66 
    71 $Id$
    67 $Id$