Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. detect old log files (early 2016);
  3. explicit support for multiple regexes;
  4. some derived data fields, to facilitate queries;
  5. tuned signature;
Changeset 65686:4a762cad298f by wenzelm:
merged
Changeset 65685:47bbf7150aae by wenzelm:
detect old log files (early 2016);
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65684:00d4663270d9 by wenzelm:
explicit support for multiple regexes;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65683:70b0ef74ef3a by wenzelm:
some derived data fields, to facilitate queries;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65682:3722be87305c by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)