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 for changeset 7e2a9a8c2b85
authorwenzelm
Sat, 20 Feb 2021 13:49:24 +0100
changeset 73256 69177d552afb
parent 73255 7e2a9a8c2b85
child 73257 446085672b74
Added tag Isabelle2021 for changeset 7e2a9a8c2b85
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sat Feb 20 13:42:37 2021 +0100
+++ b/.hgtags	Sat Feb 20 13:49:24 2021 +0100
@@ -44,3 +44,4 @@
 2ab14dbc6feb5e64c9c0c93ff2dff28f34a23f28 Isabelle2021-RC4
 a88dbf2a020fbd4ebee247f56fcc56e851e1f928 Isabelle2021-RC5
 ed36e33a2e4b01751c93c8ad28c07f8b00e11722 Isabelle2021-RC6
+7e2a9a8c2b85f10d81f3be433878fe51fa13eb6f Isabelle2021
isabelle