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 for changeset 1ac2416e8432
authorwenzelm
Tue, 25 Oct 2022 11:17:19 +0200
changeset 76372 53b5b8883ff7
parent 76371 1ac2416e8432
child 76373 9eddd0f05668
Added tag Isabelle2022 for changeset 1ac2416e8432
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Mon Oct 24 20:37:32 2022 +0200
+++ b/.hgtags	Tue Oct 25 11:17:19 2022 +0200
@@ -44,3 +44,4 @@
 778152d51e972d21bad5383afb4685efb793f574 Isabelle2022-RC2
 d704efeb01dbdc86029180cc0c5e0f8d9e699128 Isabelle2022-RC3
 8b4108f41c777d6465683cdffcabdeb6c4ba6b3d Isabelle2022-RC4
+1ac2416e843293bc6917ba965f54b42962514b7f Isabelle2022
isabelle