# HG changeset patch # User wenzelm # Date 1477677698 -7200 # Node ID 195242d16c03727a6278800f9babcba4da393ba3 # Parent b17acc1834e3a6414d92686ebd616aa833902352# Parent cec5427b5c5f79199b9b5864f9bc31b48756bfa9 merged diff -r b17acc1834e3 -r 195242d16c03 .hgtags --- a/.hgtags Fri Oct 28 19:54:41 2016 +0200 +++ b/.hgtags Fri Oct 28 20:01:38 2016 +0200 @@ -33,3 +33,4 @@ 5ae2a2e74c93eafeb00b1ddeef0404256745ebba Isabelle2015 d3996d5873ddcf1115ec8d3d511a0bb5dbd1cfc4 Isabelle2016 666c7475f4f7e9ba46c59170026230787c504ca7 Isabelle2016-1-RC0 +9ee2480d10b7404683aa7f4c3a30d44cbb6a21b9 Isabelle2016-1-RC1