diff -r d61d51765a02 -r 91acbb24e371 .hgtags
--- a/.hgtags	Sat Dec 05 14:26:29 2015 +0100
+++ b/.hgtags	Sat Dec 05 14:26:56 2015 +0100
@@ -33,3 +33,4 @@
 ee908fccabc220a5f2e5af533d13ebceeb0e09ff Isabelle2014-RC2
 91e188508bc9df5de2737325c390836603a3e409 Isabelle2014-RC3
 113b43b84412416c67dc5e46f0d79473c837fbda Isabelle2014-RC4
+d61d51765a02aecd2b1daea286a80ca5458bc948 Isabelle2014/Isac