author | wenzelm |
Thu, 10 Mar 2016 17:30:04 +0100 | |
changeset 62589 | b5783412bfed |
parent 62449 | 1785cbadd226 |
child 62592 | 4832491d1376 |
permissions | -rwxr-xr-x |
61216 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# Author: Makarius |
|
4 |
# |
|
5 |
# DESCRIPTION: expand old Isar command conflations 'hence' and 'thus' |
|
6 |
||
62449 | 7 |
isabelle_admin_build jars || exit $? |
61216 | 8 |
|
62589
b5783412bfed
prefer plain "isabelle" from PATH within Isabelle settings environment;
wenzelm
parents:
62449
diff
changeset
|
9 |
isabelle java isabelle.Update_Then "$@" |