# HG changeset patch
# User wenzelm
# Date 1409147578 -7200
# Node ID be9815d02b1045abdbbe3060dabaccf47646d768
# Parent  1b6035697c498132c871bce0c9a23d2ad53fdf51# Parent  930727de976c3656b1df3d5a73bf7e1092887b61
merged

diff -r 930727de976c -r be9815d02b10 .hgtags
--- a/.hgtags	Wed Aug 27 14:55:33 2014 +0200
+++ b/.hgtags	Wed Aug 27 15:52:58 2014 +0200
@@ -33,3 +33,4 @@
 ee908fccabc220a5f2e5af533d13ebceeb0e09ff Isabelle2014-RC2
 91e188508bc9df5de2737325c390836603a3e409 Isabelle2014-RC3
 113b43b84412416c67dc5e46f0d79473c837fbda Isabelle2014-RC4
+8f4a332500e41bb67efc3e141608829473606a72 Isabelle2014