Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more tasks; clarified default args;
  2. remote_builds has PAR-SEQ semantics of old isatest-makedist; tuned signature;
Changeset 64351:e54578e699b5 by wenzelm:
more tasks;<br>clarified default args;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64350:3af8566788e7 by wenzelm:
remote_builds has PAR-SEQ semantics of old isatest-makedist;<br>tuned signature;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)