| Sun, 03 Apr 2016 23:01:39 +0200 | wenzelm | prefer internal tool; | file | diff | annotate |
| Sun, 28 Feb 2016 17:40:01 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 28 Feb 2016 15:00:17 +0100 | wenzelm | moved getopts to Scala; | file | diff | annotate |
| Thu, 05 Nov 2015 00:02:30 +0100 | wenzelm | symbolic syntax "\<comment> text"; | file | diff | annotate |
| Tue, 20 Oct 2015 23:03:46 +0200 | wenzelm | added isabelle update_cartouches option -t; | file | diff | annotate |
| Wed, 03 Dec 2014 14:04:38 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 07 Oct 2014 14:53:51 +0200 | wenzelm | added update_cartouches tool; | file | diff | annotate |