equal
deleted
inserted
replaced
58 |
58 |
59 Please do *not* copy (or link) the Isabelle scripts anywhere else, or |
59 Please do *not* copy (or link) the Isabelle scripts anywhere else, or |
60 they just won't work! If you really feel the urge to install |
60 they just won't work! If you really feel the urge to install |
61 independent Isabelle binaries anywhere else do it like this: |
61 independent Isabelle binaries anywhere else do it like this: |
62 |
62 |
63 [ISABELLE_HOME]/bin/isatool install /usr/local/bin |
63 [ISABELLE_HOME]/bin/isatool install -p /usr/local/bin |
64 |
64 |
65 |
65 |
66 |
66 |
67 $Id$ |
67 $Id$ |