Added tag Isabelle2015-RC4 for changeset 05fe9bdc4f8f
authorwenzelm
Sat May 09 20:40:28 2015 +0200 (2015-05-09)
changeset 602816b01377b95b9
parent 60280 05fe9bdc4f8f
child 60282 496fa0fc91b1
Added tag Isabelle2015-RC4 for changeset 05fe9bdc4f8f
.hgtags
     1.1 --- a/.hgtags	Sat May 09 10:06:14 2015 +0200
     1.2 +++ b/.hgtags	Sat May 09 20:40:28 2015 +0200
     1.3 @@ -33,3 +33,4 @@
     1.4  c9760373aa0f9a941d0e58d1432a823eaa14a0cc Isabelle2015-RC1
     1.5  8483c2883c8c73d94ff05627d5d9de0c821e78ac Isabelle2015-RC2
     1.6  e0c3e11e9bea53656fdd1a258ac66c2e74390582 Isabelle2015-RC3
     1.7 +05fe9bdc4f8f2f550b44c4ded6bbc578408b7a14 Isabelle2015-RC4