# HG changeset patch
# User wenzelm
# Date 1275838664 -7200
# Node ID 5350cd2ae2c4701135cbc10bec64e552c98c1c93
# Parent  d1cdbc7524b619815236e8e2e61e36809ee2d338
Added tag isa2009-2-test1 for changeset d1cdbc7524b6

diff -r d1cdbc7524b6 -r 5350cd2ae2c4 .hgtags
--- a/.hgtags	Sat Jun 05 07:52:45 2010 +0200
+++ b/.hgtags	Sun Jun 06 17:37:44 2010 +0200
@@ -26,3 +26,4 @@
 5c8618f95d240046bbbb609b643c06704888f587 Isabelle2009
 6a973bd4394996c31f638e5c59ea6bb953335c9a Isabelle2009-1
 935c75359742ccfd4abba0c33a440241e6ef2b1e isa2009-2-test0
+d1cdbc7524b619815236e8e2e61e36809ee2d338 isa2009-2-test1