Added tag Isabelle2020-RC0 for changeset 21c0b3a9d2f8
authorwenzelm
Fri, 14 Feb 2020 20:11:49 +0100
changeset 71657 e596ea18bf3e
parent 71656 21c0b3a9d2f8
child 71658 91340a6bf401
Added tag Isabelle2020-RC0 for changeset 21c0b3a9d2f8
.hgtags
--- a/.hgtags	Thu Feb 13 19:11:35 2020 +0100
+++ b/.hgtags	Fri Feb 14 20:11:49 2020 +0100
@@ -36,3 +36,4 @@
 64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017
 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
 83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019
+21c0b3a9d2f8f27800f7ea9c8f0fe92139e9e2c3 Isabelle2020-RC0