| Thu, 10 Mar 2016 22:49:15 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 10 Mar 2016 17:30:04 +0100 | wenzelm | prefer plain "isabelle" from PATH within Isabelle settings environment; | file | diff | annotate |
| Sun, 28 Feb 2016 15:12:24 +0100 | wenzelm | moved getopts to Scala; | file | diff | annotate |
| Sun, 02 Nov 2014 16:47:45 +0100 | wenzelm | added update_header tool; | file | diff | annotate |