# HG changeset patch
# User wenzelm
# Date 1639302171 -3600
# Node ID 70be57333ea1b0e1866be2e944f2e0f70c437ae4
# Parent  c2a2be496f35aa1a6072393aebfdb1b85c9f2e9e
Added tag Isabelle2021-1 for changeset c2a2be496f35

diff -r c2a2be496f35 -r 70be57333ea1 .hgtags
--- a/.hgtags	Sat Dec 11 11:24:48 2021 +0100
+++ b/.hgtags	Sun Dec 12 10:42:51 2021 +0100
@@ -44,3 +44,4 @@
 2b212c8138a57096487461fa353386f753ff7a11 Isabelle2021-1-RC3
 2336356d4180b948eb9070f3f9f8986cda7e8f76 Isabelle2021-1-RC4
 8baf2e8b16e2218edaeb6dee402b21f97a49a505 Isabelle2021-1-RC5
+c2a2be496f35aa1a6072393aebfdb1b85c9f2e9e Isabelle2021-1