2016-10-07 wenzelm [Fri, 07 Oct 2016 11:10:17 +0200] rev 64079
tuned;
src/Pure/Tools/build.scala src/Pure/Tools/build_log.scala src/Pure/Tools/ci_profile.scala

2016-10-07 wenzelm [Fri, 07 Oct 2016 10:46:34 +0200] rev 64078
more official legacy status;
src/HOL/Library/Old_SMT.thy

2016-10-07 fleury <Mathias.Fleury@mpi-inf.mpg.de> [Fri, 07 Oct 2016 17:59:19 +0200] rev 64077
more lemmas
src/HOL/Library/Multiset.thy

2016-10-07 fleury <Mathias.Fleury@mpi-inf.mpg.de> [Fri, 07 Oct 2016 17:58:36 +0200] rev 64076
tuning multisets
NEWS src/HOL/Library/Multiset.thy src/HOL/Library/Multiset_Order.thy

2016-10-07 fleury <Mathias.Fleury@mpi-inf.mpg.de> [Fri, 07 Oct 2016 17:57:17 +0200] rev 64075
more lemmas
src/HOL/Library/Multiset.thy

2016-10-07 eberlm <eberlm@in.tum.de> [Fri, 07 Oct 2016 10:45:21 +0200] rev 64074
Set_Permutations -> Multiset_Permutations in NEWS
NEWS

2016-10-07 wenzelm [Fri, 07 Oct 2016 10:31:34 +0200] rev 64073
moved to proper release (cf. 4a72b37ac4b8);
tuned;
NEWS

2016-10-07 wenzelm [Fri, 07 Oct 2016 10:23:50 +0200] rev 64072
updated for release;
ANNOUNCE CONTRIBUTORS NEWS

2016-10-07 wenzelm [Fri, 07 Oct 2016 09:29:11 +0200] rev 64071
merged

2016-10-06 wenzelm [Thu, 06 Oct 2016 17:40:59 +0200] rev 64070
Added tag Isabelle2016-1-RC0 for changeset 666c7475f4f7
.hgtags