Added tag Isabelle2015-RC5 for changeset d7f636331176
authorwenzelm
Sun May 17 23:09:03 2015 +0200 (2015-05-17)
changeset 602891fb026be7536
parent 60288 d7f636331176
child 60290 88ccc0ae310c
Added tag Isabelle2015-RC5 for changeset d7f636331176
.hgtags
     1.1 --- a/.hgtags	Sun May 17 23:03:49 2015 +0200
     1.2 +++ b/.hgtags	Sun May 17 23:09:03 2015 +0200
     1.3 @@ -34,3 +34,4 @@
     1.4  8483c2883c8c73d94ff05627d5d9de0c821e78ac Isabelle2015-RC2
     1.5  e0c3e11e9bea53656fdd1a258ac66c2e74390582 Isabelle2015-RC3
     1.6  05fe9bdc4f8f2f550b44c4ded6bbc578408b7a14 Isabelle2015-RC4
     1.7 +d7f636331176ed8baa0c6f40d9fbb18838829156 Isabelle2015-RC5