.hgtags
changeset 66600 13a1081961d2
parent 66432 3a78bbfe9cf3
child 66649 2230dc7a1764
--- a/.hgtags	Sat Sep 02 17:25:10 2017 +0200
+++ b/.hgtags	Sun Sep 03 14:59:44 2017 +0200
@@ -34,3 +34,4 @@
 d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016
 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1
 a5dd01b682189f5412460b78b9611f7665b26894 Isabelle2017-RC0
+34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1