Added tag Isabelle2021 for changeset 7e2a9a8c2b85
authorwenzelm
Sat, 20 Feb 2021 13:49:24 +0100
changeset 73503 69177d552afb
parent 73502 7e2a9a8c2b85
child 73504 446085672b74
Added tag Isabelle2021 for changeset 7e2a9a8c2b85
.hgtags
--- 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