# HG changeset patch
# User wenzelm
# Date 1558786426 -7200
# Node ID 0cfc4fa71d1b3490c8a363fed4cecf05d3980c4d
# Parent  85de4fdec61b4c19b5491e61b637b66ae247ef97
Added tag Isabelle2019-RC3 for changeset 85de4fdec61b

diff -r 85de4fdec61b -r 0cfc4fa71d1b .hgtags
--- a/.hgtags	Fri May 24 21:14:02 2019 +0200
+++ b/.hgtags	Sat May 25 14:13:46 2019 +0200
@@ -38,3 +38,4 @@
 6f2ab7f150f6bb27d9e59229035324ce1f94e4ac Isabelle2019-RC0
 9c60fcfdf495375cf1c886d7eb75583f63707950 Isabelle2019-RC1
 805250bb7363dbfcb072ed34bbfb522106bdd21a Isabelle2019-RC2
+85de4fdec61b4c19b5491e61b637b66ae247ef97 Isabelle2019-RC3