Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more tests;
  2. clarified exploration of history: more uniform options;
  3. tuned;
  4. tuned;
Changeset 78907:89274adb0ebe by wenzelm:
more tests;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78906:004b39bf06a5 by wenzelm:
clarified exploration of history: more uniform options;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78905:635b84f1914a by wenzelm:
tuned;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78904:f6b3d0cf4147 by wenzelm:
tuned;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)