# HG changeset patch
# User wenzelm
# Date 1556878019 -7200
# Node ID c73c8fd4b64c69f3fde3b20bdeae569c033d2ce1
# Parent  9c60fcfdf495375cf1c886d7eb75583f63707950
Added tag Isabelle2019-RC1 for changeset 9c60fcfdf495

diff -r 9c60fcfdf495 -r c73c8fd4b64c .hgtags
--- a/.hgtags	Fri May 03 11:50:32 2019 +0200
+++ b/.hgtags	Fri May 03 12:06:59 2019 +0200
@@ -36,3 +36,4 @@
 64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017
 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
 6f2ab7f150f6bb27d9e59229035324ce1f94e4ac Isabelle2019-RC0
+9c60fcfdf495375cf1c886d7eb75583f63707950 Isabelle2019-RC1