| changeset 66649 | 2230dc7a1764 |
| parent 66600 | 13a1081961d2 |
| child 66687 | cd8ad4eddb8a |
--- a/.hgtags Fri Sep 08 19:31:43 2017 +0200 +++ b/.hgtags Fri Sep 08 19:35:07 2017 +0200 @@ -35,3 +35,4 @@ 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1 a5dd01b682189f5412460b78b9611f7665b26894 Isabelle2017-RC0 34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1 +e9d8ff531700c7c19ea6f9c1315c06015f95d2b8 Isabelle2017-RC2