| changeset 64467 | 91c98a58985b |
| parent 64426 | cec5427b5c5f |
| child 64520 | 8bf3d0553c35 |
--- a/.hgtags Sat Nov 05 20:44:47 2016 +0100 +++ b/.hgtags Sun Nov 06 19:18:24 2016 +0100 @@ -34,3 +34,4 @@ d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016 666c7475f4f7e9ba46c59170026230787c504ca7 Isabelle2016-1-RC0 9ee2480d10b7404683aa7f4c3a30d44cbb6a21b9 Isabelle2016-1-RC1 +2bf4fdcebd495516947e5e85f3b3db01d5fbe1a4 Isabelle2016-1-RC2