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 Isabelle2018-RC4 for changeset 34b8ff7cb109
authorwenzelm
Tue, 07 Aug 2018 11:39:40 +0200
changeset 68739 0c62e3b4f4c0
parent 68738 34b8ff7cb109
child 68740 682ff0e84387
child 68743 91162dd89571
Added tag Isabelle2018-RC4 for changeset 34b8ff7cb109
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Mon Aug 06 15:43:36 2018 +0200
+++ b/.hgtags	Tue Aug 07 11:39:40 2018 +0200
@@ -38,3 +38,4 @@
 cf01d04e94d71e6cda86a7740377ad903f86706b Isabelle2018-RC1
 14167c321d222b3628414ed97fe65205f7b8bde0 Isabelle2018-RC2
 71aa5a9128c21cc7faf95f2969077ddd7b5c1118 Isabelle2018-RC3
+34b8ff7cb10962428de2cbd61a3e0fc705455dac Isabelle2018-RC4
isabelle