Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. back to Poly/ML 5.6 until odd memory management problems are sorted out;
Changeset 65046:18f3d341f8c0 by wenzelm:
back to Poly/ML 5.6 until odd memory management problems are sorted out;
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Concurrent/cache.ML (diff)