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 Isabelle2019-RC0 for changeset 6f2ab7f150f6
authorwenzelm
Tue, 02 Apr 2019 15:16:56 +0200
changeset 70035 30863adababa
parent 70034 6f2ab7f150f6
child 70036 7ba769344550
Added tag Isabelle2019-RC0 for changeset 6f2ab7f150f6
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Tue Apr 02 14:56:32 2019 +0200
+++ b/.hgtags	Tue Apr 02 15:16:56 2019 +0200
@@ -35,3 +35,4 @@
 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1
 64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017
 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
+6f2ab7f150f6bb27d9e59229035324ce1f94e4ac Isabelle2019-RC0
isabelle