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-RC4 for changeset 05fe9bdc4f8f
authorwenzelm
Sat, 09 May 2015 20:40:28 +0200
changeset 60281 6b01377b95b9
parent 60280 05fe9bdc4f8f
child 60282 496fa0fc91b1
Added tag Isabelle2015-RC4 for changeset 05fe9bdc4f8f
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sat May 09 10:06:14 2015 +0200
+++ b/.hgtags	Sat May 09 20:40:28 2015 +0200
@@ -33,3 +33,4 @@
 c9760373aa0f9a941d0e58d1432a823eaa14a0cc Isabelle2015-RC1
 8483c2883c8c73d94ff05627d5d9de0c821e78ac Isabelle2015-RC2
 e0c3e11e9bea53656fdd1a258ac66c2e74390582 Isabelle2015-RC3
+05fe9bdc4f8f2f550b44c4ded6bbc578408b7a14 Isabelle2015-RC4
isabelle