removed obsolete RC tags;
authorwenzelm
Sun Oct 08 15:54:55 2017 +0200 (19 months ago)
changeset 66791e51f789f7705
parent 66790 c0e68e6a1beb
child 66792 6b76a5d1b7a5
removed obsolete RC tags;
.hgtags
     1.1 --- a/.hgtags	Sun Oct 08 14:52:06 2017 +0200
     1.2 +++ b/.hgtags	Sun Oct 08 15:54:55 2017 +0200
     1.3 @@ -33,8 +33,4 @@
     1.4  5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015
     1.5  d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016
     1.6  7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1
     1.7 -a5dd01b682189f5412460b78b9611f7665b26894 Isabelle2017-RC0
     1.8 -34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1
     1.9 -e9d8ff531700c7c19ea6f9c1315c06015f95d2b8 Isabelle2017-RC2
    1.10 -4f73201b8043b92783824b55dcded6891de0a41e Isabelle2017-RC3
    1.11  64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017