src/Pure/Admin/isabelle_cronjob.scala
2016-10-15 wenzelm 2016-10-15 added remote_build_history tasks: parallel on several remote hosts; isabelle_identify: use self repos for robustness; more logger context: options and ssh; setup repository clones on demand; clarified target repositories;
2016-10-15 wenzelm 2016-10-15 prefer Isabelle standard Path;
2016-10-15 wenzelm 2016-10-15 clarified logs;
2016-10-15 wenzelm 2016-10-15 publish directly on webspace;
2016-10-14 wenzelm 2016-10-14 cronjob: build release from repository snapshot;
2016-10-13 wenzelm 2016-10-13 clarified;
2016-10-13 wenzelm 2016-10-13 tuned;
2016-10-13 wenzelm 2016-10-13 tuned message;
2016-10-13 wenzelm 2016-10-13 tuned;
2016-10-13 wenzelm 2016-10-13 integrity test of build_history vs. build_history_base; misc tuning and clarification;
2016-10-13 wenzelm 2016-10-13 clarified log_subdir vs. log_filename; support for sequential and parallel task blocks (unnamed);
2016-10-13 wenzelm 2016-10-13 tuned;
2016-10-13 wenzelm 2016-10-13 allow to exclude named tasks;
2016-10-13 wenzelm 2016-10-13 support for separate sub-system options, independent of main Isabelle options; tuned;
2016-10-13 wenzelm 2016-10-13 tuned;
2016-10-12 wenzelm 2016-10-12 tuned signature;
2016-10-12 wenzelm 2016-10-12 tuned;
2016-10-12 wenzelm 2016-10-12 clarified task logging via log service;
2016-10-12 wenzelm 2016-10-12 more explicit management of tasks; separate logger thread with exclusive access to main.log;
2016-10-12 wenzelm 2016-10-12 simplified: no internal state for Mercurial;
2016-10-11 wenzelm 2016-10-11 tuned output;
2016-10-11 wenzelm 2016-10-11 tuned message -- more parsable;
2016-10-11 wenzelm 2016-10-11 tuned signature;
2016-10-11 wenzelm 2016-10-11 identify managed repository clones;
2016-10-11 wenzelm 2016-10-11 some timing and logging, similar to old isatest.log;
2016-10-11 wenzelm 2016-10-11 basic setup for Isabelle cronjob;