History log of /seL4-l4v-10.1.1/isabelle/src/Pure/Tools/update_then.scala
Revision Date Author Comments
# 72d49d1e 03-Apr-2016 wenzelm <none@none>

prefer internal tool;
# 8631498e 28-Feb-2016 wenzelm <none@none>

tuned signature;
# 33159b89 28-Feb-2016 wenzelm <none@none>

moved getopts to Scala;
# 3848e3a9 21-Sep-2015 wenzelm <none@none>

added isabelle update_then;