src/Pure/Admin/build_log.scala
2017-03-17 wenzelm 2017-03-17 tuned;
2017-03-16 wenzelm 2017-03-16 tuned comments;
2017-02-26 wenzelm 2017-02-26 more operations;
2016-10-22 wenzelm 2016-10-22 avoid deprecated Scala;
2016-10-18 wenzelm 2016-10-18 another attempt to squeeze a list into a property list entry;
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-13 wenzelm 2016-10-13 more robust wrt. old versions that use clear-text properties (e.g. Timing in build_history_base);
2016-10-13 wenzelm 2016-10-13 clarified log_subdir vs. log_filename; support for sequential and parallel task blocks (unnamed);
2016-10-12 wenzelm 2016-10-12 clarified files;