2016-10-15 | wenzelm | remove invocation of build_history: results are reported via stdout; | file | diff | annotate |
2016-10-13 | wenzelm | tuned whitespace; | file | diff | annotate |
2016-10-03 | wenzelm | basic setup for Admin/build_history -- outside of Isabelle environment; | file | diff | annotate |