removed obsolete RC tags;
authorwenzelm
Wed May 23 11:53:17 2012 +0200 (2012-05-23)
changeset 478867d30534e545b
parent 47885 b987aa8b9310
child 47958 c5f7be4a1734
removed obsolete RC tags;
.hgtags
     1.1 --- a/.hgtags	Tue May 22 19:02:17 2012 +0200
     1.2 +++ b/.hgtags	Wed May 23 11:53:17 2012 +0200
     1.3 @@ -28,8 +28,4 @@
     1.4  35815ce9218a8822a50f5d80b96aa8d1970ec35d Isabelle2009-2
     1.5  6d736d983d5cfec4a6c6fba174db2cd93493a96b Isabelle2011
     1.6  76fef3e570043b84a32716b5633085d2fb215525 Isabelle2011-1
     1.7 -
     1.8 -ec5d5402966416bc2656e9d100e287c208555361 Isabelle2012-RC1
     1.9 -1636ff4c6243b653054e3061d312f7859c67429c Isabelle2012-RC2
    1.10 -ed5f56b8f90ae33ffa10b6eadee2f9433bddc5eb Isabelle2012-RC3
    1.11  21c42b095c841d1a7508c143d6b6e98d95dbfa69 Isabelle2012