equal
deleted
inserted
replaced
49 |
49 |
50 [ISABELLE_HOME]/bin/isabelle FOL |
50 [ISABELLE_HOME]/bin/isabelle FOL |
51 |
51 |
52 This starts an interactive Isabelle session within your current text |
52 This starts an interactive Isabelle session within your current text |
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. Please do *not* copy (or link) the Isabelle scripts |
54 search PATH. |
55 somewhere else -- or they just won't work! |
55 |
|
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 |
|
58 independent Isabelle binaries somewhere use |
|
59 [ISABELLE_HOME]/bin/isatool install (see the system manual for more |
|
60 information). |
56 |
61 |
57 |
62 |
58 $Id$ |
63 $Id$ |