# HG changeset patch
# User wenzelm
# Date 1613825364 -3600
# Node ID 69177d552afb687993c5eb4164c326cc1ee3e492
# Parent  7e2a9a8c2b85f10d81f3be433878fe51fa13eb6f
Added tag Isabelle2021 for changeset 7e2a9a8c2b85

diff -r 7e2a9a8c2b85 -r 69177d552afb .hgtags
--- a/.hgtags	Sat Feb 20 13:42:37 2021 +0100
+++ b/.hgtags	Sat Feb 20 13:49:24 2021 +0100
@@ -44,3 +44,4 @@
 2ab14dbc6feb5e64c9c0c93ff2dff28f34a23f28 Isabelle2021-RC4
 a88dbf2a020fbd4ebee247f56fcc56e851e1f928 Isabelle2021-RC5
 ed36e33a2e4b01751c93c8ad28c07f8b00e11722 Isabelle2021-RC6
+7e2a9a8c2b85f10d81f3be433878fe51fa13eb6f Isabelle2021