| changeset 64528 | a67edee6b1fa |
| parent 64520 | 8bf3d0553c35 |
| child 64550 | 3e20defb1e3c |
--- a/.hgtags Sun Nov 27 13:19:29 2016 +0100 +++ b/.hgtags Sun Nov 27 15:21:06 2016 +0100 @@ -36,3 +36,4 @@ 9ee2480d10b7404683aa7f4c3a30d44cbb6a21b9 Isabelle2016-1-RC1 2bf4fdcebd495516947e5e85f3b3db01d5fbe1a4 Isabelle2016-1-RC2 51be997d0698583bf2d3f5a99f37381a146d3a6c Isabelle2016-1-RC3 +49708cffb98dc6ced89f66b10662e6af2808bebd Isabelle2016-1-RC4