src/Pure/Tools/build_history.scala
Mon, 03 Oct 2016 16:50:29 +0200 wenzelm basic setup for Admin/build_history -- outside of Isabelle environment;
less more (0) tip