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 for changeset 21c42b095c84
authorwenzelm
Tue, 22 May 2012 19:02:17 +0200
changeset 47885 b987aa8b9310
parent 47884 21c42b095c84
child 47886 7d30534e545b
Added tag Isabelle2012 for changeset 21c42b095c84
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sun May 20 11:34:33 2012 +0200
+++ b/.hgtags	Tue May 22 19:02:17 2012 +0200
@@ -32,3 +32,4 @@
 ec5d5402966416bc2656e9d100e287c208555361 Isabelle2012-RC1
 1636ff4c6243b653054e3061d312f7859c67429c Isabelle2012-RC2
 ed5f56b8f90ae33ffa10b6eadee2f9433bddc5eb Isabelle2012-RC3
+21c42b095c841d1a7508c143d6b6e98d95dbfa69 Isabelle2012
isabelle