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 Isabelle2009-1 for changeset 6a973bd43949
authorwenzelm
Thu, 03 Dec 2009 19:30:42 +0100
changeset 33931 832169728276
parent 33930 6a973bd43949
child 33932 99b52900aec0
Added tag Isabelle2009-1 for changeset 6a973bd43949
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Wed Dec 02 12:04:07 2009 +0100
+++ b/.hgtags	Thu Dec 03 19:30:42 2009 +0100
@@ -30,3 +30,4 @@
 14ff44e21bec0e1b99d0f7322949b4fd012333e0 isa2009-1-test
 14ff44e21bec0e1b99d0f7322949b4fd012333e0 isa2009-1-test
 e1c262952b0285fa93f2e153891bc573d3de0f33 isa2009-1-test
+6a973bd4394996c31f638e5c59ea6bb953335c9a Isabelle2009-1
isabelle