     1.1 --- a/.hgtags	Wed May 02 22:37:50 2012 +0200
     1.2 +++ b/.hgtags	Wed May 02 22:40:28 2012 +0200
     1.3 @@ -29,3 +29,4 @@
     1.4  6d736d983d5cfec4a6c6fba174db2cd93493a96b Isabelle2011
     1.5  76fef3e570043b84a32716b5633085d2fb215525 Isabelle2011-1
     1.6  
     1.7 +ec5d5402966416bc2656e9d100e287c208555361 Isabelle2012-RC1
changeset 48735	271980472765
parent 45994	414b083058e4
child 48745	e46e9900e350