equal
deleted
inserted
replaced
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$ |