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 for changeset 64b47495676d
authorwenzelm
Sun, 08 Oct 2017 11:58:01 +0200
changeset 66788 6b08228b02d5
parent 66787 64b47495676d
child 66789 feb36b73a7f0
Added tag Isabelle2017 for changeset 64b47495676d
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Wed Oct 04 12:00:53 2017 +0200
+++ b/.hgtags	Sun Oct 08 11:58:01 2017 +0200
@@ -37,3 +37,4 @@
 34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1
 e9d8ff531700c7c19ea6f9c1315c06015f95d2b8 Isabelle2017-RC2
 4f73201b8043b92783824b55dcded6891de0a41e Isabelle2017-RC3
+64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017
isabelle