| changeset 70035 | 30863adababa |
| parent 68753 | b0ed78ffa4d9 |
| child 70240 | c73c8fd4b64c |
--- a/.hgtags Tue Apr 02 14:56:32 2019 +0200 +++ b/.hgtags Tue Apr 02 15:16:56 2019 +0200 @@ -35,3 +35,4 @@ 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1 64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018 +6f2ab7f150f6bb27d9e59229035324ce1f94e4ac Isabelle2019-RC0