Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorwenzelm
Wed, 05 Nov 2025 19:41:13 +0100
changeset 83518 e8f4f3f1d09a
parent 83516 b5dc7f577e02 (current diff)
parent 83517 d349fb17f699 (diff)
child 83519 71525fbbc818
merged
--- a/.hgtags	Wed Nov 05 12:04:36 2025 +0000
+++ b/.hgtags	Wed Nov 05 19:41:13 2025 +0100
@@ -45,3 +45,4 @@
 29f2b8ff84f3e7b96e7bd2ec688ed180400ac2e1 Isabelle2024
 4b875a4c83b0696d326e598069b3b8dafcf511c8 Isabelle2025
 3deead057a16df29f26cfdf0a893829f6b354cb9 Isabelle2025-1-RC0
+b596dead917873ab1cd875efd0ad97dbc1549a9f Isabelle2025-1-RC1
isabelle