# HG changeset patch
# User wenzelm
# Date 1275940104 -7200
# Node ID 82b8343cd99854fe7935223e1e2c9c26e16ff321
# Parent  dfca6c4cd1e8df3f4f716ee23bf1c9b2903df3ed
Added tag isa2009-2-test2 for changeset dfca6c4cd1e8

diff -r dfca6c4cd1e8 -r 82b8343cd998 .hgtags
--- a/.hgtags	Mon Jun 07 19:21:00 2010 +0200
+++ b/.hgtags	Mon Jun 07 21:48:24 2010 +0200
@@ -27,3 +27,4 @@
 6a973bd4394996c31f638e5c59ea6bb953335c9a Isabelle2009-1
 935c75359742ccfd4abba0c33a440241e6ef2b1e isa2009-2-test0
 d1cdbc7524b619815236e8e2e61e36809ee2d338 isa2009-2-test1
+dfca6c4cd1e8df3f4f716ee23bf1c9b2903df3ed isa2009-2-test2