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 Isabelle2017-RC2 for changeset e9d8ff531700
authorwenzelm
Fri, 08 Sep 2017 19:35:07 +0200
changeset 66649 2230dc7a1764
parent 66648 e9d8ff531700
child 66650 bcea02893d17
Added tag Isabelle2017-RC2 for changeset e9d8ff531700
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Fri Sep 08 19:31:43 2017 +0200
+++ b/.hgtags	Fri Sep 08 19:35:07 2017 +0200
@@ -35,3 +35,4 @@
 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1
 a5dd01b682189f5412460b78b9611f7665b26894 Isabelle2017-RC0
 34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1
+e9d8ff531700c7c19ea6f9c1315c06015f95d2b8 Isabelle2017-RC2
isabelle