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 Isabelle2020-RC0 for changeset 21c0b3a9d2f8
authorwenzelm
Fri, 14 Feb 2020 20:11:49 +0100
changeset 71445 e596ea18bf3e
parent 71444 21c0b3a9d2f8
child 71446 91340a6bf401
Added tag Isabelle2020-RC0 for changeset 21c0b3a9d2f8
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Thu Feb 13 19:11:35 2020 +0100
+++ b/.hgtags	Fri Feb 14 20:11:49 2020 +0100
@@ -36,3 +36,4 @@
 64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017
 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
 83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019
+21c0b3a9d2f8f27800f7ea9c8f0fe92139e9e2c3 Isabelle2020-RC0
isabelle