Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more general pattern;
  2. more timing;
Changeset 65679:45632d594bdb by wenzelm:
more general pattern;
The file was modified src/Pure/Admin/build_log.scala (diff)
Changeset 65678:aaba2e0c247c by wenzelm:
more timing;
The file was modified src/HOL/ROOT (diff)