| changeset 43540 | 71aba8ee3b8f |
| parent 43521 | d477b92109b8 |
| child 44861 | 329ced2615eb |
| 43539:c49d8f40ba51 | 43540:71aba8ee3b8f |
|---|---|
21 |
21 |
22 ## main |
22 ## main |
23 |
23 |
24 [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars |
24 [ -e "$ISABELLE_HOME/Admin/build" ] && "$ISABELLE_HOME/Admin/build" jars |
25 |
25 |
26 CLASSPATH="$(jvmpath "$CLASSPATH")" |
|
27 exec "$ISABELLE_TOOL" java \ |
26 exec "$ISABELLE_TOOL" java \ |
28 "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \ |
27 "-Disabelle.home=$(jvmpath "$ISABELLE_HOME")" \ |
29 isabelle.GUI_Setup "$@" |
28 isabelle.GUI_Setup "$@" |