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