Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned output;
  2. updated test version;
  3. merged
  4. auto update;
  5. more recent polyml-test version;
  6. parallel remote_builds2 for the sake of "AFP slow" (with theoretical data race on build_log_dirs);
  7. tuned;
  8. clarified signature;
  9. tuned: build hg_graph only once; tuned signature;
  10. tuned
  11. derived axiom iffI as a lemma (thanks to Alexander Maletzky)
Changeset 66903:c078509d4606 by wenzelm:
tuned output;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
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)
Changeset 66894:c08d7349774e by nipkow:
tuned
The file was modified src/HOL/ZF/Games.thy (diff)
Changeset 66893:ced164fe3bbd by nipkow:
derived axiom iffI as a lemma (thanks to Alexander Maletzky)
The file was modified CONTRIBUTORS (diff)
The file was modified src/HOL/HOL.thy (diff)
The file was modified src/HOL/document/root.bib (diff)