Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. support linux_arm as well, e.g. native Docker on Apple Silicon;
  3. update paths at TUM;
  4. Added tag Isabelle2021-1-RC1 for changeset 81cc8f2ea9e7
  5. updated for release;
  6. some reordering for release;
  7. updated to jdk-17.0.1+12;
  8. tuned message;
Changeset 74655:cd674ebf6cac by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 74654:b67d1d72516b by wenzelm:
support linux_arm as well, e.g. native Docker on Apple Silicon;
The file was modified src/Pure/Tools/build_docker.scala (diff)
Changeset 74653:cfe295b2e6e5 by wenzelm:
update paths at TUM;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 74652:72d2ef5ee128 by wenzelm:
Added tag Isabelle2021-1-RC1 for changeset 81cc8f2ea9e7
The file was modified .hgtags (diff)
Changeset 74651:81cc8f2ea9e7 by wenzelm:
updated for release;
The file was modified ANNOUNCE (diff)
The file was modified NEWS (diff)
Changeset 74650:e911be103066 by wenzelm:
some reordering for release;
The file was modified NEWS (diff)
Changeset 74649:b04a820c345e by wenzelm:
updated to jdk-17.0.1+12;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 74648:d1117655110c by wenzelm:
tuned message;
The file was modified src/HOL/Tools/Argo/argo_tactic.ML (diff)