| 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:26:09 +0100 | wenzelm | moved getopts to Scala; | file | diff | annotate |
| Mon, 21 Sep 2015 17:42:31 +0200 | wenzelm | added isabelle update_then; | file | diff | annotate |