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 Isabelle2012-RC1 for changeset ec5d54029664
authorwenzelm
Wed, 02 May 2012 22:40:28 +0200
changeset 47864 271980472765
parent 47863 ec5d54029664
child 47865 6ea205a4d7fd
Added tag Isabelle2012-RC1 for changeset ec5d54029664
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Wed May 02 22:37:50 2012 +0200
+++ b/.hgtags	Wed May 02 22:40:28 2012 +0200
@@ -29,3 +29,4 @@
 6d736d983d5cfec4a6c6fba174db2cd93493a96b Isabelle2011
 76fef3e570043b84a32716b5633085d2fb215525 Isabelle2011-1
 
+ec5d5402966416bc2656e9d100e287c208555361 Isabelle2012-RC1
isabelle