1.1 --- a/.hgtags	Wed Dec 02 12:04:07 2009 +0100
     1.2 +++ b/.hgtags	Thu Dec 03 19:30:42 2009 +0100
     1.3 @@ -30,3 +30,4 @@
     1.4  14ff44e21bec0e1b99d0f7322949b4fd012333e0 isa2009-1-test
     1.5  14ff44e21bec0e1b99d0f7322949b4fd012333e0 isa2009-1-test
     1.6  e1c262952b0285fa93f2e153891bc573d3de0f33 isa2009-1-test
     1.7 +6a973bd4394996c31f638e5c59ea6bb953335c9a Isabelle2009-1