src/Pure/Tools/update_cartouches.scala
2016-04-03 wenzelm 2016-04-03 prefer internal tool;
2016-02-28 wenzelm 2016-02-28 tuned signature;
2016-02-28 wenzelm 2016-02-28 moved getopts to Scala;
2015-11-05 wenzelm 2015-11-05 symbolic syntax "\<comment> text";
2015-10-20 wenzelm 2015-10-20 added isabelle update_cartouches option -t;
2014-12-03 wenzelm 2014-12-03 tuned signature;
2014-10-07 wenzelm 2014-10-07 added update_cartouches tool;