src/Pure/Admin/build_history.scala
2017-03-17 wenzelm 2017-03-17 tuned signature;
2017-03-17 wenzelm 2017-03-17 prefer database, but also accept log.gz from historic versions;
2017-01-16 wenzelm 2017-01-16 tuned signature;
2016-11-07 wenzelm 2016-11-07 recovered Output.writeln for remote build_history (cf. ed8940d6295c), in order to have log files copied and removed;
2016-11-06 wenzelm 2016-11-06 back to more elementary result (see 5f49765a25ec): avoid concurrent use of ssh channel;
2016-11-05 wenzelm 2016-11-05 more robust multithreading;
2016-11-04 wenzelm 2016-11-04 self_update of components, e.g. for vmnipkow9;
2016-11-01 wenzelm 2016-11-01 ignore interrupts from underlying process, e.g. due to out-of-memory situation in ML_Process (see also build.scala);
2016-10-27 wenzelm 2016-10-27 more permissive remote_build_history: failure happens routinely and should not lead error, without saving logs;
2016-10-24 wenzelm 2016-10-24 more thorough cleanup of lib/classes -- it may contain broken Pure.jar or copies of Scala libraries (in historic versions);
2016-10-23 wenzelm 2016-10-23 more explicit rev (tip);
2016-10-22 wenzelm 2016-10-22 clarified push/pull chain: current ISABELLE_HOME may server as source for changes that are not published on isabelle_repos_source yet (e.g. isabelle-release branch);
2016-10-22 wenzelm 2016-10-22 process results immediately;
2016-10-21 wenzelm 2016-10-21 more ambitious default;
2016-10-18 wenzelm 2016-10-18 tuned;
2016-10-18 wenzelm 2016-10-18 clarified modules;
2016-10-18 wenzelm 2016-10-18 report actual build_args;
2016-10-18 wenzelm 2016-10-18 more flexible multicore configuration;
2016-10-18 wenzelm 2016-10-18 clarified multiple props: result needs to fit on a single line within the log file;
2016-10-18 wenzelm 2016-10-18 clarified properties;
2016-10-18 wenzelm 2016-10-18 tuned;
2016-10-18 wenzelm 2016-10-18 support for free-form build tags; tuned;
2016-10-18 wenzelm 2016-10-18 explicit identification of builds and correlated build groups;
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;