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-RC5 for changeset 45adb8dc84e1
authorwenzelm
Fri, 12 Feb 2016 17:04:36 +0100
changeset 62283 f005a691df1f
parent 62282 45adb8dc84e1
child 62284 1fd4831e9f93
child 62337 d3996d5873dd
Added tag Isabelle2016-RC5 for changeset 45adb8dc84e1
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Thu Feb 11 22:05:12 2016 +0100
+++ b/.hgtags	Fri Feb 12 17:04:36 2016 +0100
@@ -35,3 +35,4 @@
 5d513565749e6818ce3bbd1b40739ddc314e17a5 Isabelle2016-RC2
 81cbea2babd968353655a825645914672529b310 Isabelle2016-RC3
 f4baefee57768cf00b1a9e003770c7573b5d7378 Isabelle2016-RC4
+45adb8dc84e1279f415cc00ee7c5e0a542fd339e Isabelle2016-RC5
isabelle