Summary
- merged
- detect old log files (early 2016);
- explicit support for multiple regexes;
- some derived data fields, to facilitate queries;
- tuned signature;
The file was modified | src/Pure/Admin/build_log.scala (diff) |
The file was modified | src/Pure/Admin/build_log.scala (diff) |
The file was modified | src/Pure/Admin/build_log.scala (diff) |
The file was modified | src/Pure/Admin/build_log.scala (diff) |
The file was modified | src/Pure/Admin/isabelle_cronjob.scala (diff) |