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-RC3 for changeset 4f73201b8043
authorwenzelm
Sat, 23 Sep 2017 13:46:48 +0200
changeset 66687 cd8ad4eddb8a
parent 66686 4f73201b8043
child 66688 ebb97a834338
child 66785 6fbd7fc824a9
Added tag Isabelle2017-RC3 for changeset 4f73201b8043
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sat Sep 23 13:31:32 2017 +0200
+++ b/.hgtags	Sat Sep 23 13:46:48 2017 +0200
@@ -36,3 +36,4 @@
 a5dd01b682189f5412460b78b9611f7665b26894 Isabelle2017-RC0
 34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1
 e9d8ff531700c7c19ea6f9c1315c06015f95d2b8 Isabelle2017-RC2
+4f73201b8043b92783824b55dcded6891de0a41e Isabelle2017-RC3
isabelle