Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added tag isa2009-2-test2 for changeset dfca6c4cd1e8
authorwenzelm
Mon, 07 Jun 2010 21:48:24 +0200
changeset 37365 82b8343cd998
parent 37364 dfca6c4cd1e8
child 37366 5c6695de35ba
Added tag isa2009-2-test2 for changeset dfca6c4cd1e8
.hgtags file | annotate | diff | comparison | revisions 
--- 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
isabelle