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-RC4 for changeset 1f3d9a9dd42a
authorwenzelm
Thu, 02 Apr 2020 11:45:03 +0200
changeset 71665 9fdbd2f0b56e
parent 71664 1f3d9a9dd42a
child 71666 e15ca98ffbfe
child 71729 8ed68b2aeba1
Added tag Isabelle2020-RC4 for changeset 1f3d9a9dd42a
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sat Mar 28 22:18:28 2020 +0100
+++ b/.hgtags	Thu Apr 02 11:45:03 2020 +0200
@@ -40,3 +40,4 @@
 a8849ac415cc816740fbd8cfaac14501f7468ddb Isabelle2020-RC1
 7eadccd4392cc1f3b603c0fa5734d0629f039cc0 Isabelle2020-RC2
 7fe1a344404a9f7e6e4cdef584338c6d9849812c Isabelle2020-RC3
+1f3d9a9dd42a9543af7062ca08a36da2c5375454 Isabelle2020-RC4
isabelle