| changeset 60289 | 1fb026be7536 |
| parent 60281 | 6b01377b95b9 |
| child 60300 | 82453d0f49ee |
--- 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