Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. macbroy2 is back, still pretending to be on Mavericks for better comparison of performance;
  2. Mac OS X 10.10 Yosemite is baseline;
Changeset 67089:c96ee0eb0d5f by wenzelm:
macbroy2 is back, still pretending to be on Mavericks for better comparison of performance;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 67088:89e82aed7813 by wenzelm:
Mac OS X 10.10 Yosemite is baseline;
The file was modified Admin/PLATFORMS (diff)
The file was modified NEWS (diff)