Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper support for arm64;
  2. no perl (amending 59ef23ac81ab);
  3. merged
  4. Added tag Isabelle2021-1-RC2 for changeset b92b5a57521b
  5. merged
  6. Preserve variable name z in VAR {z = t}
  7. back to scala-2.13.5: avoid crash of Scala REPL on arm64-darwin;
  8. updated to polyml-5.9-5d4caa8f7148, which also contains ARM64 on darwin (unused by default);
  9. more precise URL
  10. tuned page breaks
Changeset 74728:58ae06d382ee by wenzelm:
proper support for arm64;
The file was modified Admin/polyml/settings (diff)
Changeset 74727:fa15929bdf83 by wenzelm:
no perl (amending 59ef23ac81ab);
The file was modified src/Pure/Tools/build_docker.scala (diff)
Changeset 74726:33ed2eb06d68 by wenzelm:
merged
Changeset 74725:ae7edb209706 by wenzelm:
Added tag Isabelle2021-1-RC2 for changeset b92b5a57521b
The file was modified .hgtags (diff)
Changeset 74724:cc54b8812c63 by nipkow:
merged
Changeset 74723:f05c73bf5968 by nipkow:
Preserve variable name z in VAR {z = t}
The file was modified src/HOL/Hoare/Hoare_Logic.thy (diff)
The file was modified src/HOL/Hoare/hoare_syntax.ML (diff)
Changeset 74722:b92b5a57521b by wenzelm:
back to scala-2.13.5: avoid crash of Scala REPL on arm64-darwin;
The file was modified Admin/components/main (diff)
Changeset 74721:38e5417910ab by wenzelm:
updated to polyml-5.9-5d4caa8f7148, which also contains ARM64 on darwin (unused by default);
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
Changeset 74720:15beb1ef5ad1 by nipkow:
more precise URL
The file was modified src/Doc/Main/Main_Doc.thy (diff)
Changeset 74719:d274100827b0 by nipkow:
tuned page breaks
The file was modified src/Doc/Main/Main_Doc.thy (diff)