changeset 29145 | b1c6f4563df7 |
parent 28504 | 7ad7d7d6df47 |
child 30852 | 59a422908e29 |
29144:ca186ebbd824 | 29145:b1c6f4563df7 |
---|---|
83 [ISABELLE_HOME]/bin/isabelle install -p ~/bin |
83 [ISABELLE_HOME]/bin/isabelle install -p ~/bin |
84 |
84 |
85 Note that the site-wide Isabelle installation may already provide |
85 Note that the site-wide Isabelle installation may already provide |
86 Isabelle executables in some global bin directory (such as |
86 Isabelle executables in some global bin directory (such as |
87 /usr/local/bin). |
87 /usr/local/bin). |
88 |
|
89 |
|
90 $Id$ |