2016-10-11 wenzelm [Tue, 11 Oct 2016 22:24:14 +0200] rev 64155
tuned signature;
src/Pure/Admin/isabelle_cronjob.scala src/Pure/Tools/build.scala src/Pure/Tools/build_history.scala src/Pure/Tools/build_log.scala

2016-10-11 wenzelm [Tue, 11 Oct 2016 22:14:26 +0200] rev 64154
identify managed repository clones;
src/Pure/Admin/isabelle_cronjob.scala

2016-10-11 wenzelm [Tue, 11 Oct 2016 21:48:56 +0200] rev 64153
some timing and logging, similar to old isatest.log;
src/Pure/Admin/isabelle_cronjob.scala

2016-10-11 wenzelm [Tue, 11 Oct 2016 21:44:20 +0200] rev 64152
enforce short name, notably on Mac OS X;
src/Pure/System/isabelle_system.scala

2016-10-11 wenzelm [Tue, 11 Oct 2016 21:25:10 +0200] rev 64151
tuned -- Date.Format.default used by toString;
src/Pure/System/options.scala src/Pure/Tools/build_history.scala

2016-10-11 wenzelm [Tue, 11 Oct 2016 20:54:42 +0200] rev 64150
clarified modules;
src/Pure/Tools/build_history.scala src/Pure/Tools/build_log.scala

2016-10-11 wenzelm [Tue, 11 Oct 2016 20:31:13 +0200] rev 64149
force fresh build;
Admin/cronjob/main

2016-10-11 wenzelm [Tue, 11 Oct 2016 20:20:32 +0200] rev 64148
basic setup for Isabelle cronjob;
Admin/cronjob/README Admin/cronjob/crontab.lxbroy10 Admin/cronjob/main Admin/cronjob/self_update src/Pure/Admin/isabelle_cronjob.scala src/Pure/build-jars

2016-10-11 wenzelm [Tue, 11 Oct 2016 17:00:20 +0200] rev 64147
tuned;
Admin/lib/Tools/makedist_bundle

2016-10-11 wenzelm [Tue, 11 Oct 2016 14:29:39 +0200] rev 64146
merged