changeset 45989 | 0a3f301271ba |
parent 45975 | e392d0a28bd8 |
child 45993 | d53036e77ef3 |
1.1 --- a/.hgtags Mon Oct 03 11:14:19 2011 +0200 1.2 +++ b/.hgtags Mon Oct 03 11:16:51 2011 +0200 1.3 @@ -28,3 +28,4 @@ 1.4 35815ce9218a8822a50f5d80b96aa8d1970ec35d Isabelle2009-2 1.5 6d736d983d5cfec4a6c6fba174db2cd93493a96b Isabelle2011 1.6 24ad77c3a147d6ea211780ceb21532502da6f2c4 Isabelle2011-1-RC1 1.7 +a45121ffcfcba08b5a9b0d8970b982152ac72366 Isabelle2011-1-RC2