Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. sketch & explore: recover from duplicate fixed variables in Isar proofs
  2. back to post-release mode -- after fork point;
  3. merged
  4. Added tag Isabelle2024-RC2 for changeset ef2134570abb
  5. Acknowledgement of Ata Keskin for his Martingales material
Changeset 80137:0c51e0a6bc37 by simon wimmer _wimmers@in.tum.de_:
sketch & explore: recover from duplicate fixed variables in Isar proofs
The file was modified src/HOL/ex/Sketch_and_Explore.thy (diff)
Changeset 80136:12ce957231e0 by wenzelm:
back to post-release mode -- after fork point;
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 80135:bc450c8754ef by wenzelm:
merged
Changeset 80134:e07f29df1c67 by wenzelm:
Added tag Isabelle2024-RC2 for changeset ef2134570abb
The file was modified .hgtags (diff)
Changeset 80133:e414bcc5a39e by paulson _lp15@cam.ac.uk_:
Acknowledgement of Ata Keskin for his Martingales material
The file was modified CONTRIBUTORS (diff)
The file was modified src/HOL/Analysis/Elementary_Metric_Spaces.thy (diff)
The file was modified src/HOL/Analysis/Set_Integral.thy (diff)