Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more examples
  2. workaround for old macOS versions, after change of Let's Encrypt root certificate --- see also https://letsencrypt.org/docs/dst-root-ca-x3-expiration-september-2021 --- Java/Scala Isabelle_System.download() works, but curl doens't;
  3. more complete simp rules
  4. more complete simp rules
Changeset 74500:40f03761f77f by nipkow:
more examples
The file was modified src/HOL/IMP/Hoare_Total_EX.thy (diff)
The file was modified src/HOL/IMP/Hoare_Total_EX2.thy (diff)
The file was modified src/HOL/IMP/VCG_Total_EX2.thy (diff)
Changeset 74499:059743bc8311 by wenzelm:
workaround for old macOS versions, after change of Let's Encrypt root certificate --- see also https://letsencrypt.org/docs/dst-root-ca-x3-expiration-september-2021 --- Java/Scala Isabelle_System.download() works, but curl doens't;
The file was modified lib/Tools/components (diff)
Changeset 74498:27475e64a887 by haftmann:
more complete simp rules
The file was modified src/HOL/Bit_Operations.thy (diff)
The file was modified src/HOL/Library/Word.thy (diff)
Changeset 74497:9c04a82c3128 by haftmann:
more complete simp rules
The file was modified src/HOL/Bit_Operations.thy (diff)