Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. back to post-release mode -- after fork point;
  2. merged
  3. Added tag Isabelle2024-RC2 for changeset ef2134570abb
Changeset 80136:12ce957231e0 by wenzelm:
back to post-release mode -- after fork point;
The file was modified CONTRIBUTORS
The file was modified NEWS
Changeset 80135:bc450c8754ef by wenzelm:
merged
Changeset 80134:e07f29df1c67 by wenzelm:
Added tag Isabelle2024-RC2 for changeset ef2134570abb
The file was modified .hgtags