changeset 62589 | b5783412bfed |
parent 62450 | 2154f709fc25 |
child 62592 | 4832491d1376 |
62588:cd266473b81b | 62589:b5783412bfed |
---|---|
4 # |
4 # |
5 # DESCRIPTION: update toplevel theorem keywords |
5 # DESCRIPTION: update toplevel theorem keywords |
6 |
6 |
7 isabelle_admin_build jars || exit $? |
7 isabelle_admin_build jars || exit $? |
8 |
8 |
9 "$ISABELLE_TOOL" java isabelle.Update_Theorems "$@" |
9 isabelle java isabelle.Update_Theorems "$@" |