# HG changeset patch
# User wenzelm
# Date 1534331305 -7200
# Node ID b9b5473f0c5c7df898f44072e7be177e43a34c1f
# Parent  91162dd89571fb9ddfa36844fdb1a16aea13adcf
Added tag Isabelle2018 for changeset 91162dd89571

diff -r 91162dd89571 -r b9b5473f0c5c .hgtags
--- 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