Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned output;
  2. uniform execute, with proper isabelle_identifier (notably for "isabelle components -I");
  3. tuned;
  4. permissive theory_timings for historic versions;
Changeset 66878:91da58bb560d by wenzelm:
tuned output;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 66877:4f0ccfe1bcb6 by wenzelm:
uniform execute, with proper isabelle_identifier (notably for "isabelle components -I");
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 66876:b540a5a64a31 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 66875:f60d3e6d5975 by wenzelm:
permissive theory_timings for historic versions;
The file was modified src/Pure/Admin/build_history.scala (diff)