Admin/build_history
2016-10-15 wenzelm remove invocation of build_history: results are reported via stdout;
2016-10-13 wenzelm tuned whitespace;
2016-10-03 wenzelm basic setup for Admin/build_history -- outside of Isabelle environment;
less more (0) tip