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 Isabelle2016-RC4 for changeset f4baefee5776
authorwenzelm
Sat, 06 Feb 2016 19:26:02 +0100
changeset 62267 0e0d147b31a3
parent 62266 f4baefee5776
child 62268 3d86222b4a94
Added tag Isabelle2016-RC4 for changeset f4baefee5776
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sat Feb 06 12:12:57 2016 +0100
+++ b/.hgtags	Sat Feb 06 19:26:02 2016 +0100
@@ -34,3 +34,4 @@
 155d30f721dd7e465b9640b550b7f44ecf8b1970 Isabelle2016-RC1
 5d513565749e6818ce3bbd1b40739ddc314e17a5 Isabelle2016-RC2
 81cbea2babd968353655a825645914672529b310 Isabelle2016-RC3
+f4baefee57768cf00b1a9e003770c7573b5d7378 Isabelle2016-RC4
isabelle