| changeset 62589 | b5783412bfed |
| parent 62445 | 91902961184c |
| child 62592 | 4832491d1376 |
| 62588:cd266473b81b | 62589:b5783412bfed |
|---|---|
4 # |
4 # |
5 # DESCRIPTION: update theory syntax to use cartouches |
5 # DESCRIPTION: update theory syntax to use cartouches |
6 |
6 |
7 isabelle_admin_build jars || exit $? |
7 isabelle_admin_build jars || exit $? |
8 |
8 |
9 "$ISABELLE_TOOL" java isabelle.Update_Cartouches "$@" |
9 isabelle java isabelle.Update_Cartouches "$@" |