| Wed, 13 Apr 2016 17:00:02 +0200 | wenzelm | clarified syntax; | file | diff | annotate |
| Sun, 03 Apr 2016 22:36:11 +0200 | wenzelm | prefer internal tool; | file | diff | annotate |
| Sun, 28 Feb 2016 17:40:01 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 27 Feb 2016 19:47:53 +0100 | wenzelm | moved getopts to Scala; | file | diff | annotate |
| Thu, 21 Jan 2016 20:50:34 +0100 | wenzelm | clarified errors: more explicit treatment of uninitialized state; | file | diff | annotate |
| Thu, 05 Nov 2015 00:02:30 +0100 | wenzelm | symbolic syntax "\<comment> text"; | file | diff | annotate |