equal
deleted
inserted
replaced
54 |
54 |
55 This starts an interactive Isabelle session within your current text |
55 This starts an interactive Isabelle session within your current text |
56 terminal. You may want to put [ISABELLE_HOME]/bin into your shell's |
56 terminal. You may want to put [ISABELLE_HOME]/bin into your shell's |
57 search PATH. |
57 search PATH. |
58 |
58 |
59 Please do *not* copy (or link) the Isabelle scripts anywhere else -- |
59 Please do *not* copy (or link) the Isabelle scripts anywhere else, or |
60 or 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 somewhere you should rather do it like |
61 independent Isabelle binaries anywhere else do it like this: |
62 this: |
|
63 |
62 |
64 [ISABELLE_HOME]/bin/isatool install /usr/local/bin |
63 [ISABELLE_HOME]/bin/isatool install /usr/local/bin |
65 |
64 |
66 |
65 |
67 |
66 |