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 Isabelle2022-RC4 for changeset 8b4108f41c77
authorwenzelm
Tue, 18 Oct 2022 10:53:55 +0200
changeset 76333 c56997fab437
parent 76332 8b4108f41c77
child 76334 561d501598f2
Added tag Isabelle2022-RC4 for changeset 8b4108f41c77
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Mon Oct 17 23:36:08 2022 +0200
+++ b/.hgtags	Tue Oct 18 10:53:55 2022 +0200
@@ -43,3 +43,4 @@
 6308eaaa88f1da72b223552d1b6ea681fe24f796 Isabelle2022-RC1
 778152d51e972d21bad5383afb4685efb793f574 Isabelle2022-RC2
 d704efeb01dbdc86029180cc0c5e0f8d9e699128 Isabelle2022-RC3
+8b4108f41c777d6465683cdffcabdeb6c4ba6b3d Isabelle2022-RC4
isabelle