History log of /seL4-l4v-master/isabelle/src/Pure/Tools/update_cartouches.scala
Revision Date Author Comments
# fc3f59f3 08-Nov-2018 wenzelm <none@none>

update ROOT files as well: treated like .thy in Isabelle/jEdit;
# 69ab1747 13-Sep-2018 wenzelm <none@none>

tuned;
# ad24c5c7 14-Jan-2018 wenzelm <none@none>

more specific tool "isabelle update_comments", for uniformity with formal comments in embedded languages;
# 2daadd5c 04-Dec-2017 wenzelm <none@none>

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

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

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

moved getopts to Scala;
# a2ea8657 04-Nov-2015 wenzelm <none@none>

symbolic syntax "\<comment> text";
# 18a2082a 20-Oct-2015 wenzelm <none@none>

added isabelle update_cartouches option -t;
# 91c3d5c1 03-Dec-2014 wenzelm <none@none>

tuned signature;
# 23a91b2f 07-Oct-2014 wenzelm <none@none>

added update_cartouches tool;