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-RC1 for changeset 34b20f7236ea
authorwenzelm
Sun, 03 Sep 2017 14:59:44 +0200
changeset 66600 13a1081961d2
parent 66599 34b20f7236ea
child 66601 af3cf2c859c1
Added tag Isabelle2017-RC1 for changeset 34b20f7236ea
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sat Sep 02 17:25:10 2017 +0200
+++ b/.hgtags	Sun Sep 03 14:59:44 2017 +0200
@@ -34,3 +34,4 @@
 d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016
 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1
 a5dd01b682189f5412460b78b9611f7665b26894 Isabelle2017-RC0
+34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1
isabelle