History log of /seL4-l4v-master/l4v/isabelle/src/Pure/Tools/update_header.scala
Revision Date Author Comments
# 69ab1747 13-Sep-2018 wenzelm <none@none>

tuned;
# 72d49d1e 03-Apr-2016 wenzelm <none@none>

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

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

moved getopts to Scala;
# c1bd3e08 17-Oct-2015 wenzelm <none@none>

added 'paragraph', 'subparagraph';
# 91c3d5c1 03-Dec-2014 wenzelm <none@none>

tuned signature;
# d94c659e 02-Nov-2014 wenzelm <none@none>

added update_header tool;