src/Pure/Admin/isabelle_cronjob.scala
2016-10-18 wenzelm 2016-10-18 shared_home is default for classic isatest home setup; distinct ISABELLE_IDENTIFIER for all tasks;
2016-10-17 wenzelm 2016-10-17 improved platform coverage: macbroy30, macbroy31; slightly improved performance on lxbroy10;
2016-10-16 wenzelm 2016-10-16 tuned;
2016-10-16 wenzelm 2016-10-16 tuned signature;
2016-10-16 wenzelm 2016-10-16 clarified setup_repository: more uniform pull vs. clone, without update;
2016-10-16 wenzelm 2016-10-16 proper setup of fresh repository;
2016-10-15 wenzelm 2016-10-15 tuned;
2016-10-15 wenzelm 2016-10-15 discontinued somewhat pointless cronjob.options -- compile-time constants are sufficient;
2016-10-15 wenzelm 2016-10-15 timeout as in former isatest-makeall;
2016-10-15 wenzelm 2016-10-15 clarified hg.id operation, with explicit tip as default;
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;