diff -r 1636ff4c6243 -r e46e9900e350 .hgtags
--- a/.hgtags	Mon May 07 20:35:53 2012 +0200
+++ b/.hgtags	Mon May 07 21:38:12 2012 +0200
@@ -30,3 +30,4 @@
 76fef3e570043b84a32716b5633085d2fb215525 Isabelle2011-1
 
 ec5d5402966416bc2656e9d100e287c208555361 Isabelle2012-RC1
+1636ff4c6243b653054e3061d312f7859c67429c Isabelle2012-RC2