# HG changeset patch
# User wenzelm
# Date 1507456681 -7200
# Node ID 6b08228b02d5ab271c8e45db265ada4914decb8a
# Parent  64b47495676d5d6bdec02032a7a90fe6e1ff6c50
Added tag Isabelle2017 for changeset 64b47495676d

diff -r 64b47495676d -r 6b08228b02d5 .hgtags
--- a/.hgtags	Wed Oct 04 12:00:53 2017 +0200
+++ b/.hgtags	Sun Oct 08 11:58:01 2017 +0200
@@ -37,3 +37,4 @@
 34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1
 e9d8ff531700c7c19ea6f9c1315c06015f95d2b8 Isabelle2017-RC2
 4f73201b8043b92783824b55dcded6891de0a41e Isabelle2017-RC3
+64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017