| changeset 64070 | a480dd2fcfd8 |
| parent 64039 | 44660100931d |
| child 64426 | cec5427b5c5f |
--- a/.hgtags Thu Oct 06 14:13:46 2016 +0200 +++ b/.hgtags Thu Oct 06 17:40:59 2016 +0200 @@ -32,3 +32,4 @@ 8f4a332500e41bb67efc3e141608829473606a72 Isabelle2014 5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015 d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016 +666c7475f4f7e9ba46c59170026230787c504ca7 Isabelle2016-1-RC0