| changeset 62589 | b5783412bfed |
| parent 62437 | bccad0374407 |
| 62588:cd266473b81b | 62589:b5783412bfed |
|---|---|
4 # |
4 # |
5 # DESCRIPTION: print Isabelle system options |
5 # DESCRIPTION: print Isabelle system options |
6 |
6 |
7 isabelle_admin_build jars || exit $? |
7 isabelle_admin_build jars || exit $? |
8 |
8 |
9 exec "$ISABELLE_TOOL" java isabelle.Options "$@" |
9 exec isabelle java isabelle.Options "$@" |