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 Isabelle2016-1-RC4 for changeset 49708cffb98d
authorwenzelm
Sun, 27 Nov 2016 15:21:06 +0100
changeset 64528 a67edee6b1fa
parent 64527 49708cffb98d
child 64529 1c0b93961cb1
child 64535 4f161e8cdaac
Added tag Isabelle2016-1-RC4 for changeset 49708cffb98d
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sun Nov 27 13:19:29 2016 +0100
+++ b/.hgtags	Sun Nov 27 15:21:06 2016 +0100
@@ -36,3 +36,4 @@
 9ee2480d10b7404683aa7f4c3a30d44cbb6a21b9 Isabelle2016-1-RC1
 2bf4fdcebd495516947e5e85f3b3db01d5fbe1a4 Isabelle2016-1-RC2
 51be997d0698583bf2d3f5a99f37381a146d3a6c Isabelle2016-1-RC3
+49708cffb98dc6ced89f66b10662e6af2808bebd Isabelle2016-1-RC4
isabelle