src/Pure/Admin/build_history.scala
2016-10-16 wenzelm 2016-10-16 proper result;
2016-10-16 wenzelm 2016-10-16 more thorough cleanup;
2016-10-16 wenzelm 2016-10-16 simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;
2016-10-16 wenzelm 2016-10-16 more compression for big log files;
2016-10-15 wenzelm 2016-10-15 more robust quasi-unique name;
2016-10-15 wenzelm 2016-10-15 clarified signature: more static types;
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 tuned;
2016-10-15 wenzelm 2016-10-15 tuned;
2016-10-15 wenzelm 2016-10-15 remove invocation of build_history: results are reported via stdout;
2016-10-14 wenzelm 2016-10-14 clarified file operations;
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 signature; copy_dir using *this* Isabelle_System: note that File.bash_path is already expanded, but no variables are used here;
2016-10-13 wenzelm 2016-10-13 clarified modules;
2016-10-12 wenzelm 2016-10-12 tuned signature;
2016-10-12 wenzelm 2016-10-12 simplified: no internal state for Mercurial;
2016-10-12 wenzelm 2016-10-12 clarified files;