Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. use Poly/ML 5.7.1 test version as default;
Changeset 66920:aefaaef29c58 by wenzelm:
use Poly/ML 5.7.1 test version as default;
The file was modified Admin/components/main (diff)
The file was modified src/Pure/library.ML (diff)