# HG changeset patch
# User wenzelm
# Date 1581707509 -3600
# Node ID e596ea18bf3edca7f1cebb351c2b3b846b8cc645
# Parent  21c0b3a9d2f8f27800f7ea9c8f0fe92139e9e2c3
Added tag Isabelle2020-RC0 for changeset 21c0b3a9d2f8

diff -r 21c0b3a9d2f8 -r e596ea18bf3e .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