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 Isabelle2024 for changeset 29f2b8ff84f3
authorwenzelm
Thu, 23 May 2024 11:18:46 +0200
changeset 80183 5a9f168982b2
parent 80182 29f2b8ff84f3
child 80184 9f2c40da6690
Added tag Isabelle2024 for changeset 29f2b8ff84f3
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Mon May 20 15:43:51 2024 +0200
+++ b/.hgtags	Thu May 23 11:18:46 2024 +0200
@@ -46,3 +46,4 @@
 1231a7fb251017c2acec4bda2bb036d4f052542c Isabelle2024-RC1
 ef2134570abb6090fa65107661ec8c3f4ffc06e0 Isabelle2024-RC2
 007e6af8a02082e82a6a642a3d5b1649628a50c2 Isabelle2024-RC3
+29f2b8ff84f3e7b96e7bd2ec688ed180400ac2e1 Isabelle2024
isabelle