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.
merged
authorwenzelm
Wed, 15 Aug 2018 16:04:15 +0200
changeset 68749 714faa6ddd10
parent 68747 bc6717bd2912 (current diff)
parent 68748 b9b5473f0c5c (diff)
child 68750 7087748996af
merged
--- a/.hgtags	Wed Aug 15 13:21:14 2018 +0200
+++ b/.hgtags	Wed Aug 15 16:04:15 2018 +0200
@@ -39,3 +39,4 @@
 14167c321d222b3628414ed97fe65205f7b8bde0 Isabelle2018-RC2
 71aa5a9128c21cc7faf95f2969077ddd7b5c1118 Isabelle2018-RC3
 34b8ff7cb10962428de2cbd61a3e0fc705455dac Isabelle2018-RC4
+91162dd89571fb9ddfa36844fdb1a16aea13adcf Isabelle2018
isabelle