lib/Tools/update_then
author wenzelm
Sun, 28 Feb 2016 15:26:09 +0100
changeset 62449 1785cbadd226
parent 61216 4ca490f09ec6
child 62589 b5783412bfed
permissions -rwxr-xr-x
moved getopts to Scala;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
61216
4ca490f09ec6 added isabelle update_then;
wenzelm
parents:
diff changeset
     1
#!/usr/bin/env bash
4ca490f09ec6 added isabelle update_then;
wenzelm
parents:
diff changeset
     2
#
4ca490f09ec6 added isabelle update_then;
wenzelm
parents:
diff changeset
     3
# Author: Makarius
4ca490f09ec6 added isabelle update_then;
wenzelm
parents:
diff changeset
     4
#
4ca490f09ec6 added isabelle update_then;
wenzelm
parents:
diff changeset
     5
# DESCRIPTION: expand old Isar command conflations 'hence' and 'thus'
4ca490f09ec6 added isabelle update_then;
wenzelm
parents:
diff changeset
     6
62449
1785cbadd226 moved getopts to Scala;
wenzelm
parents: 61216
diff changeset
     7
isabelle_admin_build jars || exit $?
61216
4ca490f09ec6 added isabelle update_then;
wenzelm
parents:
diff changeset
     8
62449
1785cbadd226 moved getopts to Scala;
wenzelm
parents: 61216
diff changeset
     9
"$ISABELLE_TOOL" java isabelle.Update_Then "$@"