removed obsolete RC tags;
authorwenzelm
Sun Jul 28 12:43:31 2019 +0200 (3 weeks ago ago)
changeset 706147f7f149d6843
parent 70613 4537e82019d3
child 70615 6ec97dc6670e
removed obsolete RC tags;
.hgtags
     1.1 --- a/.hgtags	Sun Jul 28 12:35:59 2019 +0200
     1.2 +++ b/.hgtags	Sun Jul 28 12:43:31 2019 +0200
     1.3 @@ -35,9 +35,4 @@
     1.4  7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1
     1.5  64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017
     1.6  91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
     1.7 -6f2ab7f150f6bb27d9e59229035324ce1f94e4ac Isabelle2019-RC0
     1.8 -9c60fcfdf495375cf1c886d7eb75583f63707950 Isabelle2019-RC1
     1.9 -805250bb7363dbfcb072ed34bbfb522106bdd21a Isabelle2019-RC2
    1.10 -85de4fdec61b4c19b5491e61b637b66ae247ef97 Isabelle2019-RC3
    1.11 -ad2d84c4238064c72140763ea1fe4ab91a619d9e Isabelle2019-RC4
    1.12  83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019