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-RC5 for changeset 8ed68b2aeba1
authorwenzelm
Wed, 08 Apr 2020 12:28:42 +0200
changeset 71730 5e810ff0346d
parent 71729 8ed68b2aeba1
child 71731 d8e60a0ffa02
child 71750 f39b1afe8845
Added tag Isabelle2020-RC5 for changeset 8ed68b2aeba1
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sat Apr 04 22:39:42 2020 +0200
+++ b/.hgtags	Wed Apr 08 12:28:42 2020 +0200
@@ -41,3 +41,4 @@
 7eadccd4392cc1f3b603c0fa5734d0629f039cc0 Isabelle2020-RC2
 7fe1a344404a9f7e6e4cdef584338c6d9849812c Isabelle2020-RC3
 1f3d9a9dd42a9543af7062ca08a36da2c5375454 Isabelle2020-RC4
+8ed68b2aeba19ea47f1e38038ac87a32c17161ce Isabelle2020-RC5
isabelle