| changeset 54304 | 65c6a00ff86b |
| parent 51234 | 76c062c3323c |
| child 54316 | 363b557c17a4 |
--- a/.hgtags Thu Oct 03 16:32:33 2013 +0200 +++ b/.hgtags Thu Oct 03 17:03:20 2013 +0200 @@ -26,3 +26,4 @@ 76fef3e570043b84a32716b5633085d2fb215525 Isabelle2011-1 21c42b095c841d1a7508c143d6b6e98d95dbfa69 Isabelle2012 d90218288d517942cfbc80a6b2654ecb22735e5c Isabelle2013 +c37100233af71af51b225a090317f9cbe05e70a1 Isabelle2013-1-RC1