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 Isabelle2015-RC5 for changeset d7f636331176
authorwenzelm
Sun, 17 May 2015 23:09:03 +0200
changeset 60289 1fb026be7536
parent 60288 d7f636331176
child 60290 88ccc0ae310c
Added tag Isabelle2015-RC5 for changeset d7f636331176
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sun May 17 23:03:49 2015 +0200
+++ b/.hgtags	Sun May 17 23:09:03 2015 +0200
@@ -34,3 +34,4 @@
 8483c2883c8c73d94ff05627d5d9de0c821e78ac Isabelle2015-RC2
 e0c3e11e9bea53656fdd1a258ac66c2e74390582 Isabelle2015-RC3
 05fe9bdc4f8f2f550b44c4ded6bbc578408b7a14 Isabelle2015-RC4
+d7f636331176ed8baa0c6f40d9fbb18838829156 Isabelle2015-RC5
isabelle