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-RC2 for changeset 7eadccd4392c
authorwenzelm
Sun, 15 Mar 2020 11:57:59 +0100
changeset 71556 644a78e08033
parent 71555 7eadccd4392c
child 71557 61ba52af28e3
child 71566 76b739c0bedd
Added tag Isabelle2020-RC2 for changeset 7eadccd4392c
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sun Mar 15 11:55:16 2020 +0100
+++ b/.hgtags	Sun Mar 15 11:57:59 2020 +0100
@@ -38,3 +38,4 @@
 83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019
 21c0b3a9d2f8f27800f7ea9c8f0fe92139e9e2c3 Isabelle2020-RC0
 a8849ac415cc816740fbd8cfaac14501f7468ddb Isabelle2020-RC1
+7eadccd4392cc1f3b603c0fa5734d0629f039cc0 Isabelle2020-RC2
isabelle