# HG changeset patch
# User wenzelm
# Date 1337263479 -7200
# Node ID 9dcfcdbdb2ba27b953aac4e83883040bb9cc859b
# Parent  ed5f56b8f90ae33ffa10b6eadee2f9433bddc5eb
Added tag Isabelle2012-RC3 for changeset ed5f56b8f90a

diff -r ed5f56b8f90a -r 9dcfcdbdb2ba .hgtags
--- a/.hgtags	Thu May 17 15:58:57 2012 +0200
+++ b/.hgtags	Thu May 17 16:04:39 2012 +0200
@@ -31,3 +31,4 @@
 
 ec5d5402966416bc2656e9d100e287c208555361 Isabelle2012-RC1
 1636ff4c6243b653054e3061d312f7859c67429c Isabelle2012-RC2
+ed5f56b8f90ae33ffa10b6eadee2f9433bddc5eb Isabelle2012-RC3