Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. speculative support for latest Mac OS X versions -- no reference systems yet;
  2. merged
  3. more ambitious default;
  4. updated to new structure Foreign; more robust memory management;
Changeset 64337:e3b57c8046cb by wenzelm:
speculative support for latest Mac OS X versions -- no reference systems yet;
The file was modified Admin/PLATFORMS (diff)
Changeset 64336:beb3ebb9f567 by wenzelm:
merged
Changeset 64335:24e676390259 by wenzelm:
more ambitious default;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 64334:4fb8560df827 by wenzelm:
updated to new structure Foreign;<br>more robust memory management;
The file was modified src/Pure/General/sha1.ML (diff)