# HG changeset patch # User wenzelm # Date 1480256466 -3600 # Node ID a67edee6b1fa0aa4ee0fb32107589e1ee98570b8 # Parent 49708cffb98dc6ced89f66b10662e6af2808bebd Added tag Isabelle2016-1-RC4 for changeset 49708cffb98d diff -r 49708cffb98d -r a67edee6b1fa .hgtags --- a/.hgtags Sun Nov 27 13:19:29 2016 +0100 +++ b/.hgtags Sun Nov 27 15:21:06 2016 +0100 @@ -36,3 +36,4 @@ 9ee2480d10b7404683aa7f4c3a30d44cbb6a21b9 Isabelle2016-1-RC1 2bf4fdcebd495516947e5e85f3b3db01d5fbe1a4 Isabelle2016-1-RC2 51be997d0698583bf2d3f5a99f37381a146d3a6c Isabelle2016-1-RC3 +49708cffb98dc6ced89f66b10662e6af2808bebd Isabelle2016-1-RC4