# HG changeset patch # User wenzelm # Date 1432548283 -7200 # Node ID 82453d0f49eeb44714916581488029187ffc57fc # Parent 5ae2a2e74c93eafeb00b1ddeef0404256745ebba Added tag Isabelle2015 for changeset 5ae2a2e74c93 diff -r 5ae2a2e74c93 -r 82453d0f49ee .hgtags --- a/.hgtags Sat May 23 17:19:37 2015 +0200 +++ b/.hgtags Mon May 25 12:04:43 2015 +0200 @@ -35,3 +35,4 @@ e0c3e11e9bea53656fdd1a258ac66c2e74390582 Isabelle2015-RC3 05fe9bdc4f8f2f550b44c4ded6bbc578408b7a14 Isabelle2015-RC4 d7f636331176ed8baa0c6f40d9fbb18838829156 Isabelle2015-RC5 +5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015