| changeset 64426 | cec5427b5c5f |
| parent 64070 | a480dd2fcfd8 |
| child 64467 | 91c98a58985b |
--- a/.hgtags Fri Oct 28 16:59:25 2016 +0200 +++ b/.hgtags Fri Oct 28 19:08:35 2016 +0200 @@ -33,3 +33,4 @@ 5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015 d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016 666c7475f4f7e9ba46c59170026230787c504ca7 Isabelle2016-1-RC0 +9ee2480d10b7404683aa7f4c3a30d44cbb6a21b9 Isabelle2016-1-RC1