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.
Added tag Isabelle2025-1-RC1 for changeset b596dead9178
authorwenzelm
Wed, 05 Nov 2025 13:20:10 +0100
changeset 83517 d349fb17f699
parent 83515 b596dead9178
child 83518 e8f4f3f1d09a
Added tag Isabelle2025-1-RC1 for changeset b596dead9178
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Wed Nov 05 12:57:55 2025 +0100
+++ b/.hgtags	Wed Nov 05 13:20:10 2025 +0100
@@ -45,3 +45,4 @@
 29f2b8ff84f3e7b96e7bd2ec688ed180400ac2e1 Isabelle2024
 4b875a4c83b0696d326e598069b3b8dafcf511c8 Isabelle2025
 3deead057a16df29f26cfdf0a893829f6b354cb9 Isabelle2025-1-RC0
+b596dead917873ab1cd875efd0ad97dbc1549a9f Isabelle2025-1-RC1
isabelle