Skip to content
Success

Changes

Summary

  1. updated test version;
  2. merged
  3. auto update;
  4. more recent polyml-test version;
  5. parallel remote_builds2 for the sake of "AFP slow" (with theoretical data race on build_log_dirs);
  6. tuned;
  7. clarified signature;
  8. tuned: build hg_graph only once; tuned signature;
Changeset 66902:f6bc83ffda02 by wenzelm:
updated test version;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66901:a9d5b59c3e12 by wenzelm:
merged
Changeset 66900:a02b5bb3fad7 by wenzelm:
auto update;
The file was modified Admin/components/components.sha1 (diff)
Changeset 66899:8176914dae84 by wenzelm:
more recent polyml-test version;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/polyml/settings (diff)
Changeset 66898:8b7c4679c05b by wenzelm:
parallel remote_builds2 for the sake of "AFP slow" (with theoretical data race on build_log_dirs);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66897:d2f983fe3e73 by wenzelm:
tuned;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 66896:85e6748bf8b2 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
Changeset 66895:e378e0468ef2 by wenzelm:
tuned: build hg_graph only once;<br>tuned signature;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
The file was modified src/Pure/General/mercurial.scala (diff)