# HG changeset patch
# User wenzelm
# Date 1480256466 -3600
# Node ID a67edee6b1fa0aa4ee0fb32107589e1ee98570b8
# Parent  49708cffb98dc6ced89f66b10662e6af2808bebd
Added tag Isabelle2016-1-RC4 for changeset 49708cffb98d

diff -r 49708cffb98d -r a67edee6b1fa .hgtags
--- a/.hgtags	Sun Nov 27 13:19:29 2016 +0100
+++ b/.hgtags	Sun Nov 27 15:21:06 2016 +0100
@@ -36,3 +36,4 @@
 9ee2480d10b7404683aa7f4c3a30d44cbb6a21b9 Isabelle2016-1-RC1
 2bf4fdcebd495516947e5e85f3b3db01d5fbe1a4 Isabelle2016-1-RC2
 51be997d0698583bf2d3f5a99f37381a146d3a6c Isabelle2016-1-RC3
+49708cffb98dc6ced89f66b10662e6af2808bebd Isabelle2016-1-RC4