src/Pure/Admin/isabelle_cronjob.scala
Sat, 15 Oct 2016 11:26:31 +0200 wenzelm clarified logs;
Sat, 15 Oct 2016 11:18:46 +0200 wenzelm publish directly on webspace;
Fri, 14 Oct 2016 21:35:02 +0200 wenzelm cronjob: build release from repository snapshot;
Thu, 13 Oct 2016 21:44:42 +0200 wenzelm clarified;
Thu, 13 Oct 2016 21:32:26 +0200 wenzelm tuned;
Thu, 13 Oct 2016 21:23:49 +0200 wenzelm tuned message;
Thu, 13 Oct 2016 17:34:39 +0200 wenzelm tuned;
Thu, 13 Oct 2016 17:22:32 +0200 wenzelm integrity test of build_history vs. build_history_base;
Thu, 13 Oct 2016 16:14:41 +0200 wenzelm clarified log_subdir vs. log_filename;
Thu, 13 Oct 2016 15:44:24 +0200 wenzelm tuned;
Thu, 13 Oct 2016 12:04:48 +0200 wenzelm allow to exclude named tasks;
Thu, 13 Oct 2016 11:54:06 +0200 wenzelm support for separate sub-system options, independent of main Isabelle options;
Thu, 13 Oct 2016 11:22:27 +0200 wenzelm tuned;
Wed, 12 Oct 2016 21:53:30 +0200 wenzelm tuned signature;
Wed, 12 Oct 2016 21:50:16 +0200 wenzelm tuned;
Wed, 12 Oct 2016 21:35:36 +0200 wenzelm clarified task logging via log service;
Wed, 12 Oct 2016 19:03:35 +0200 wenzelm more explicit management of tasks;
Wed, 12 Oct 2016 11:31:08 +0200 wenzelm simplified: no internal state for Mercurial;
Tue, 11 Oct 2016 22:30:48 +0200 wenzelm tuned output;
Tue, 11 Oct 2016 22:24:47 +0200 wenzelm tuned message -- more parsable;
Tue, 11 Oct 2016 22:24:14 +0200 wenzelm tuned signature;
Tue, 11 Oct 2016 22:14:26 +0200 wenzelm identify managed repository clones;
Tue, 11 Oct 2016 21:48:56 +0200 wenzelm some timing and logging, similar to old isatest.log;
Tue, 11 Oct 2016 20:20:32 +0200 wenzelm basic setup for Isabelle cronjob;
less more (0) tip