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: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 |