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 Isabelle2020-RC3 for changeset 7fe1a344404a
authorwenzelm
Mon, 23 Mar 2020 13:26:35 +0100
changeset 71659 7eda22253605
parent 71658 7fe1a344404a
child 71663 fb7fdd3eb7b9
Added tag Isabelle2020-RC3 for changeset 7fe1a344404a
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Mon Mar 23 12:29:40 2020 +0100
+++ b/.hgtags	Mon Mar 23 13:26:35 2020 +0100
@@ -39,3 +39,4 @@
 21c0b3a9d2f8f27800f7ea9c8f0fe92139e9e2c3 Isabelle2020-RC0
 a8849ac415cc816740fbd8cfaac14501f7468ddb Isabelle2020-RC1
 7eadccd4392cc1f3b603c0fa5734d0629f039cc0 Isabelle2020-RC2
+7fe1a344404a9f7e6e4cdef584338c6d9849812c Isabelle2020-RC3
isabelle