--- 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