# HG changeset patch
# User wenzelm
# Date 1586946822 -7200
# Node ID 5d360394f2920a52766aadc5bff0bf9c3ac8aff8
# Parent  abf3e80bd815c2c062b02c78b256f7ba27481380
Added tag Isabelle2020 for changeset abf3e80bd815

diff -r abf3e80bd815 -r 5d360394f292 .hgtags
--- a/.hgtags	Mon Apr 13 22:08:14 2020 +0200
+++ b/.hgtags	Wed Apr 15 12:33:42 2020 +0200
@@ -42,3 +42,4 @@
 7fe1a344404a9f7e6e4cdef584338c6d9849812c Isabelle2020-RC3
 1f3d9a9dd42a9543af7062ca08a36da2c5375454 Isabelle2020-RC4
 8ed68b2aeba19ea47f1e38038ac87a32c17161ce Isabelle2020-RC5
+abf3e80bd815c2c062b02c78b256f7ba27481380 Isabelle2020