Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more specific hardware information: relevant for ultimate Mac OS X version;
  2. just one task to identify Isabelle + AFP repository snapshots and build release; report AFP changeset id on website;
  3. tuned;
Changeset 64406:492de9062cd2 by wenzelm:
more specific hardware information: relevant for ultimate Mac OS X version;
The file was modified Admin/PLATFORMS (diff)
Changeset 64405:81bac77929d9 by wenzelm:
just one task to identify Isabelle + AFP repository snapshots and build release;<br>report AFP changeset id on website;
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 64404:d75397e0aad5 by wenzelm:
tuned;
The file was modified Admin/lib/Tools/makedist (diff)