# HG changeset patch
# User wenzelm
# Date 1506167208 -7200
# Node ID cd8ad4eddb8addf81ca6d70ef91c778cd7e7e440
# Parent  4f73201b8043b92783824b55dcded6891de0a41e
Added tag Isabelle2017-RC3 for changeset 4f73201b8043

diff -r 4f73201b8043 -r cd8ad4eddb8a .hgtags
--- a/.hgtags	Sat Sep 23 13:31:32 2017 +0200
+++ b/.hgtags	Sat Sep 23 13:46:48 2017 +0200
@@ -36,3 +36,4 @@
 a5dd01b682189f5412460b78b9611f7665b26894 Isabelle2017-RC0
 34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1
 e9d8ff531700c7c19ea6f9c1315c06015f95d2b8 Isabelle2017-RC2
+4f73201b8043b92783824b55dcded6891de0a41e Isabelle2017-RC3