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