Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. updated for release;
  3. Added tag Isabelle2021-RC4 for changeset 2ab14dbc6feb
  4. provide naproche-20210201;
  5. clarified messages;
  6. more parallel;
  7. more parallel;
Changeset 73220:6974bca47856 by wenzelm:
merged
Changeset 73219:feaf43e23b3a by wenzelm:
updated for release;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 73218:6e7117fb47b7 by wenzelm:
Added tag Isabelle2021-RC4 for changeset 2ab14dbc6feb
The file was modified .hgtags (diff)
Changeset 73217:2ab14dbc6feb by wenzelm:
provide naproche-20210201;
The file was modified Admin/components/components.sha1 (diff)
Changeset 73216:60c32e2c5577 by wenzelm:
clarified messages;
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 73215:a81ec42bac45 by wenzelm:
more parallel;
The file was modified src/Pure/Thy/presentation.scala (diff)
Changeset 73214:5de4a6ae6065 by wenzelm:
more parallel;
The file was modified src/Pure/Thy/presentation.scala (diff)