| changeset 66788 | 6b08228b02d5 |
| parent 66687 | cd8ad4eddb8a |
| child 66791 | e51f789f7705 |
--- a/.hgtags Wed Oct 04 12:00:53 2017 +0200 +++ b/.hgtags Sun Oct 08 11:58:01 2017 +0200 @@ -37,3 +37,4 @@ 34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1 e9d8ff531700c7c19ea6f9c1315c06015f95d2b8 Isabelle2017-RC2 4f73201b8043b92783824b55dcded6891de0a41e Isabelle2017-RC3 +64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017