src/Pure/Tools/update_header.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-10-17 wenzelm 2015-10-17 added 'paragraph', 'subparagraph';
2014-12-03 wenzelm 2014-12-03 tuned signature;
2014-11-02 wenzelm 2014-11-02 added update_header tool;