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 Isabelle2021-1 for changeset c2a2be496f35
authorwenzelm
Sun, 12 Dec 2021 10:42:51 +0100
changeset 74914 70be57333ea1
parent 74913 c2a2be496f35
child 74915 cdd2284c8047
Added tag Isabelle2021-1 for changeset c2a2be496f35
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sat Dec 11 11:24:48 2021 +0100
+++ b/.hgtags	Sun Dec 12 10:42:51 2021 +0100
@@ -44,3 +44,4 @@
 2b212c8138a57096487461fa353386f753ff7a11 Isabelle2021-1-RC3
 2336356d4180b948eb9070f3f9f8986cda7e8f76 Isabelle2021-1-RC4
 8baf2e8b16e2218edaeb6dee402b21f97a49a505 Isabelle2021-1-RC5
+c2a2be496f35aa1a6072393aebfdb1b85c9f2e9e Isabelle2021-1
isabelle