1.1 --- a/.hgtags	Sat Dec 05 14:26:29 2015 +0100
     1.2 +++ b/.hgtags	Sat Dec 05 14:26:56 2015 +0100
     1.3 @@ -33,3 +33,4 @@
     1.4  ee908fccabc220a5f2e5af533d13ebceeb0e09ff Isabelle2014-RC2
     1.5  91e188508bc9df5de2737325c390836603a3e409 Isabelle2014-RC3
     1.6  113b43b84412416c67dc5e46f0d79473c837fbda Isabelle2014-RC4
     1.7 +d61d51765a02aecd2b1daea286a80ca5458bc948 Isabelle2014/Isac