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 Isabelle2014 for changeset 8f4a332500e4
authorwenzelm
Wed, 27 Aug 2014 11:33:00 +0200
changeset 58050 1b6035697c49
parent 57978 8f4a332500e4
child 58051 be9815d02b10
Added tag Isabelle2014 for changeset 8f4a332500e4
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Mon Aug 18 12:17:31 2014 +0200
+++ b/.hgtags	Wed Aug 27 11:33:00 2014 +0200
@@ -33,3 +33,4 @@
 ee908fccabc220a5f2e5af533d13ebceeb0e09ff Isabelle2014-RC2
 91e188508bc9df5de2737325c390836603a3e409 Isabelle2014-RC3
 113b43b84412416c67dc5e46f0d79473c837fbda Isabelle2014-RC4
+8f4a332500e41bb67efc3e141608829473606a72 Isabelle2014
isabelle