Added tag Isabelle2015 for changeset 5ae2a2e74c93
authorwenzelm
Mon May 25 12:04:43 2015 +0200 (2015-05-25)
changeset 6030082453d0f49ee
parent 60299 5ae2a2e74c93
child 60301 ff82ba1893c8
Added tag Isabelle2015 for changeset 5ae2a2e74c93
.hgtags
     1.1 --- a/.hgtags	Sat May 23 17:19:37 2015 +0200
     1.2 +++ b/.hgtags	Mon May 25 12:04:43 2015 +0200
     1.3 @@ -35,3 +35,4 @@
     1.4  e0c3e11e9bea53656fdd1a258ac66c2e74390582 Isabelle2015-RC3
     1.5  05fe9bdc4f8f2f550b44c4ded6bbc578408b7a14 Isabelle2015-RC4
     1.6  d7f636331176ed8baa0c6f40d9fbb18838829156 Isabelle2015-RC5
     1.7 +5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015