Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. testing NewTestRegisterSave;
Changeset 67009:b68592732783 by wenzelm:
testing NewTestRegisterSave;
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Concurrent/single_assignment.ML (diff)