| changeset 62592 | 4832491d1376 |
| parent 62589 | b5783412bfed |
| 62591:98122e719d19 | 62592:4832491d1376 |
|---|---|
4 # |
4 # |
5 # DESCRIPTION: expand old Isar command conflations 'hence' and 'thus' |
5 # DESCRIPTION: expand old Isar command conflations 'hence' and 'thus' |
6 |
6 |
7 isabelle_admin_build jars || exit $? |
7 isabelle_admin_build jars || exit $? |
8 |
8 |
9 isabelle java isabelle.Update_Then "$@" |
9 exec isabelle java isabelle.Update_Then "$@" |