src/Pure/Tools/update_header.scala
Sat, 17 Oct 2015 21:15:10 +0200 wenzelm added 'paragraph', 'subparagraph';
Wed, 03 Dec 2014 14:04:38 +0100 wenzelm tuned signature;
less more (0) tip