author | wenzelm |
Mon, 07 May 2012 21:38:12 +0200 | |
changeset 48745 | e46e9900e350 |
parent 48744 | 1636ff4c6243 |
child 48746 | 5b3cdfaedba3 |
1.1 --- a/.hgtags Mon May 07 20:35:53 2012 +0200 1.2 +++ b/.hgtags Mon May 07 21:38:12 2012 +0200 1.3 @@ -30,3 +30,4 @@ 1.4 76fef3e570043b84a32716b5633085d2fb215525 Isabelle2011-1 1.5 1.6 ec5d5402966416bc2656e9d100e287c208555361 Isabelle2012-RC1 1.7 +1636ff4c6243b653054e3061d312f7859c67429c Isabelle2012-RC2