# HG changeset patch
# User wenzelm
# Date 1583160337 -3600
# Node ID dd69ec936dbf93baded79c525b6784cd916135a3
# Parent  a8849ac415cc816740fbd8cfaac14501f7468ddb
Added tag Isabelle2020-RC1 for changeset a8849ac415cc

diff -r a8849ac415cc -r dd69ec936dbf .hgtags
--- a/.hgtags	Mon Mar 02 15:33:58 2020 +0100
+++ b/.hgtags	Mon Mar 02 15:45:37 2020 +0100
@@ -37,3 +37,4 @@
 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
 83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019
 21c0b3a9d2f8f27800f7ea9c8f0fe92139e9e2c3 Isabelle2020-RC0
+a8849ac415cc816740fbd8cfaac14501f7468ddb Isabelle2020-RC1