21 months ago wenzelm [Wed, 12 Oct 2016 09:32:48 +0200] rev 64159
explicit timezone for the sake of lxbroy10;
Admin/cronjob/main

21 months ago wenzelm [Tue, 11 Oct 2016 23:09:36 +0200] rev 64158
proper redirection;
Admin/cronjob/crontab.lxbroy10

21 months ago wenzelm [Tue, 11 Oct 2016 22:30:48 +0200] rev 64157
tuned output;
src/Pure/Admin/isabelle_cronjob.scala

21 months ago wenzelm [Tue, 11 Oct 2016 22:24:47 +0200] rev 64156
tuned message -- more parsable;
src/Pure/Admin/isabelle_cronjob.scala

21 months ago 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

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

21 months ago 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

21 months ago 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

21 months ago 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

21 months ago 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