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 Isabelle2021-1-RC1 for changeset 81cc8f2ea9e7
authorwenzelm
Mon, 01 Nov 2021 16:07:03 +0100
changeset 74652 72d2ef5ee128
parent 74651 81cc8f2ea9e7
child 74653 cfe295b2e6e5
Added tag Isabelle2021-1-RC1 for changeset 81cc8f2ea9e7
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Mon Nov 01 15:49:03 2021 +0100
+++ b/.hgtags	Mon Nov 01 16:07:03 2021 +0100
@@ -39,3 +39,4 @@
 abf3e80bd815c2c062b02c78b256f7ba27481380 Isabelle2020
 7e2a9a8c2b85f10d81f3be433878fe51fa13eb6f Isabelle2021
 fedc0b659881c3768f7209f64d9d0213aac0941d Isabelle2021-1-RC0
+81cc8f2ea9e720a68f0ba96e2b8d8e98a5ff3152 Isabelle2021-1-RC1
isabelle