Added tag Isabelle2012-RC3 for changeset ed5f56b8f90a
authorwenzelm
Thu May 17 16:04:39 2012 +0200 (2012-05-17)
changeset 478839dcfcdbdb2ba
parent 47882 ed5f56b8f90a
child 47884 21c42b095c84
Added tag Isabelle2012-RC3 for changeset ed5f56b8f90a
.hgtags
     1.1 --- a/.hgtags	Thu May 17 15:58:57 2012 +0200
     1.2 +++ b/.hgtags	Thu May 17 16:04:39 2012 +0200
     1.3 @@ -31,3 +31,4 @@
     1.4  
     1.5  ec5d5402966416bc2656e9d100e287c208555361 Isabelle2012-RC1
     1.6  1636ff4c6243b653054e3061d312f7859c67429c Isabelle2012-RC2
     1.7 +ed5f56b8f90ae33ffa10b6eadee2f9433bddc5eb Isabelle2012-RC3