author wenzelm

Wed, 02 May 2012 22:40:28 +0200

changeset 48735 271980472765

parent 48734 ec5d54029664

child 48736 6ea205a4d7fd

.hgtags file | annotate | diff | comparison | revisions
     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