diff -r ec5d54029664 -r 271980472765 .hgtags
--- a/.hgtags	Wed May 02 22:37:50 2012 +0200
+++ b/.hgtags	Wed May 02 22:40:28 2012 +0200
@@ -29,3 +29,4 @@
 6d736d983d5cfec4a6c6fba174db2cd93493a96b Isabelle2011
 76fef3e570043b84a32716b5633085d2fb215525 Isabelle2011-1
 
+ec5d5402966416bc2656e9d100e287c208555361 Isabelle2012-RC1