| changeset 29252 | ea97aa6aeba2 |
| parent 29145 | b1c6f4563df7 |
| child 30852 | 59a422908e29 |
| 29251:8f84a608883d | 29252:ea97aa6aeba2 |
|---|---|
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$ |