Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. full benchmarks, including all conditional theories;
Changeset 68384:4a3fc3420747 by wenzelm:
full benchmarks, including all conditional theories;
The file was modified etc/settings (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)