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 for changeset 91162dd89571
authorwenzelm
Wed, 15 Aug 2018 13:08:25 +0200
changeset 68748 b9b5473f0c5c
parent 68743 91162dd89571
child 68749 714faa6ddd10
Added tag Isabelle2018 for changeset 91162dd89571
.hgtags file | annotate | diff | comparison | revisions 
--- a/.hgtags	Sun Aug 12 14:28:28 2018 +0200
+++ b/.hgtags	Wed Aug 15 13:08:25 2018 +0200
@@ -39,3 +39,4 @@
 14167c321d222b3628414ed97fe65205f7b8bde0 Isabelle2018-RC2
 71aa5a9128c21cc7faf95f2969077ddd7b5c1118 Isabelle2018-RC3
 34b8ff7cb10962428de2cbd61a3e0fc705455dac Isabelle2018-RC4
+91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
isabelle