# HG changeset patch
# User wenzelm
# Date 1559381399 -7200
# Node ID 83774d669b5181fb28d19d7a0219fbf6c6d38aab
# Parent  ad2d84c4238064c72140763ea1fe4ab91a619d9e
Added tag Isabelle2019-RC4 for changeset ad2d84c42380

diff -r ad2d84c42380 -r 83774d669b51 .hgtags
--- a/.hgtags	Sat Jun 01 11:27:19 2019 +0200
+++ b/.hgtags	Sat Jun 01 11:29:59 2019 +0200
@@ -39,3 +39,4 @@
 9c60fcfdf495375cf1c886d7eb75583f63707950 Isabelle2019-RC1
 805250bb7363dbfcb072ed34bbfb522106bdd21a Isabelle2019-RC2
 85de4fdec61b4c19b5491e61b637b66ae247ef97 Isabelle2019-RC3
+ad2d84c4238064c72140763ea1fe4ab91a619d9e Isabelle2019-RC4