src/Pure/Admin/isabelle_cronjob.scala
Thu, 20 Oct 2016 23:42:12 +0200 wenzelm test for Windows/Cygwin;
Tue, 18 Oct 2016 16:03:30 +0200 wenzelm clarified modules;
Tue, 18 Oct 2016 10:11:22 +0200 wenzelm avoid spamming log file;
Tue, 18 Oct 2016 10:05:38 +0200 wenzelm shared_home is default for classic isatest home setup;
Mon, 17 Oct 2016 17:58:30 +0200 wenzelm improved platform coverage: macbroy30, macbroy31;
Sun, 16 Oct 2016 18:13:04 +0200 wenzelm tuned;
Sun, 16 Oct 2016 17:50:40 +0200 wenzelm tuned signature;
Sun, 16 Oct 2016 13:27:01 +0200 wenzelm clarified setup_repository: more uniform pull vs. clone, without update;
Sun, 16 Oct 2016 13:11:47 +0200 wenzelm proper setup of fresh repository;
Sat, 15 Oct 2016 23:07:47 +0200 wenzelm tuned;
Sat, 15 Oct 2016 22:45:27 +0200 wenzelm discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient;
Sat, 15 Oct 2016 22:24:04 +0200 wenzelm timeout as in former isatest-makeall;
Sat, 15 Oct 2016 21:08:04 +0200 wenzelm clarified hg.id operation, with explicit tip as default;
Sat, 15 Oct 2016 21:02:39 +0200 wenzelm added remote_build_history tasks: parallel on several remote hosts;
Sat, 15 Oct 2016 11:38:03 +0200 wenzelm prefer Isabelle standard Path;
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