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 for changeset d3996d5873dd
authorwenzelm
Wed, 17 Feb 2016 15:57:10 +0100
changeset 62338 ec44535f954a
parent 62337 d3996d5873dd
child 62339 a105bea3936f
Added tag Isabelle2016 for changeset d3996d5873dd
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Mon Feb 15 14:55:44 2016 +0100
+++ b/.hgtags	Wed Feb 17 15:57:10 2016 +0100
@@ -36,3 +36,4 @@
 81cbea2babd968353655a825645914672529b310 Isabelle2016-RC3
 f4baefee57768cf00b1a9e003770c7573b5d7378 Isabelle2016-RC4
 45adb8dc84e1279f415cc00ee7c5e0a542fd339e Isabelle2016-RC5
+d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016
isabelle