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-RC1 for changeset a8849ac415cc
authorwenzelm
Mon, 02 Mar 2020 15:45:37 +0100
changeset 71509 dd69ec936dbf
parent 71508 a8849ac415cc
child 71510 948143567b03
Added tag Isabelle2020-RC1 for changeset a8849ac415cc
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Mon Mar 02 15:33:58 2020 +0100
+++ b/.hgtags	Mon Mar 02 15:45:37 2020 +0100
@@ -37,3 +37,4 @@
 91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
 83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019
 21c0b3a9d2f8f27800f7ea9c8f0fe92139e9e2c3 Isabelle2020-RC0
+a8849ac415cc816740fbd8cfaac14501f7468ddb Isabelle2020-RC1
isabelle