Sun, 30 Apr 2017 16:47:30 +0200 | wenzelm | parse ml_statistics only when required; | file | diff | annotate |
Sat, 15 Oct 2016 11:38:03 +0200 | wenzelm | prefer Isabelle standard Path; | file | diff | annotate |
Wed, 12 Oct 2016 10:22:34 +0200 | wenzelm | explicit indication of Admin tools; | file | diff | annotate | base |