Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more macOS platforms, without reference hardware;
  2. official release;
  3. merged
  4. Added tag Isabelle2022 for changeset 1ac2416e8432
  5. tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF;
  6. tuned signature, e.g. for Isabelle/DOF;
  7. updated to naproche-20221024: minor changes to documentation;
Changeset 76375:089e546f671f by wenzelm:
more macOS platforms, without reference hardware;
The file was modified Admin/components/PLATFORMS (diff)
Changeset 76374:8c1ba8907c6b by wenzelm:
official release;
The file was modified .hgtags (diff)
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified Admin/Release/official (diff)
Changeset 76373:9eddd0f05668 by wenzelm:
merged
Changeset 76372:53b5b8883ff7 by wenzelm:
Added tag Isabelle2022 for changeset 1ac2416e8432
The file was modified .hgtags (diff)
Changeset 76371:1ac2416e8432 by wenzelm:
tuned signature (again, amending f32ac01aef5e), e.g. relevant for Isabelle/DOF;
The file was modified src/Pure/Thy/latex.ML (diff)
Changeset 76370:9bd948666e8a by wenzelm:
tuned signature, e.g. for Isabelle/DOF;
The file was modified src/Pure/Thy/document_build.scala (diff)
Changeset 76369:b879d2280a7f by wenzelm:
updated to naproche-20221024: minor changes to documentation;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified Admin/components/components.sha1 (diff)