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-1-test for changeset 14ff44e21bec
authorwenzelm
Thu, 26 Nov 2009 15:03:31 +0100
changeset 33904 86cef0304298
parent 33903 14ff44e21bec
child 33905 5760ba045bf0
Added tag isa2009-1-test for changeset 14ff44e21bec
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Thu Nov 26 14:54:56 2009 +0100
+++ b/.hgtags	Thu Nov 26 15:03:31 2009 +0100
@@ -27,3 +27,4 @@
 9db7854eafc75143cda2509a5325eb9150331866 isa2009-1-test
 9db7854eafc75143cda2509a5325eb9150331866 isa2009-1-test
 4328de748fb2ceffe4ad5a6d5fbf3347f6aecfa6 isa2009-1-test
+14ff44e21bec0e1b99d0f7322949b4fd012333e0 isa2009-1-test
isabelle