Sat, 15 Oct 2016 15:14:46 +0200 | wenzelm | remove invocation of build_history: results are reported via stdout; | file | diff | annotate |
Thu, 13 Oct 2016 22:59:20 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
Mon, 03 Oct 2016 16:50:29 +0200 | wenzelm | basic setup for Admin/build_history -- outside of Isabelle environment; | file | diff | annotate |