2016-10-28 wenzelm [Fri, 28 Oct 2016 15:47:18 +0200] rev 64423
tuned;
ANNOUNCE

2016-10-27 wenzelm [Thu, 27 Oct 2016 21:52:44 +0200] rev 64422
merged

2016-10-27 wenzelm [Thu, 27 Oct 2016 21:52:12 +0200] rev 64421
more careful PIDE reports: avoid duplicates, notably in situation of backtracking loops;
src/Pure/Isar/token.ML

2016-10-27 wenzelm [Thu, 27 Oct 2016 20:41:06 +0200] rev 64420
avoid multiple PIDE markup due to (potentially infinite) backtracking;
src/Pure/Isar/proof.ML

2016-10-27 wenzelm [Thu, 27 Oct 2016 11:39:58 +0200] rev 64419
more permissive remote_build_history: failure happens routinely and should not lead error, without saving logs;
src/Pure/Admin/build_history.scala

2016-10-27 fleury <Mathias.Fleury@mpi-inf.mpg.de> [Thu, 27 Oct 2016 15:51:54 +0200] rev 64418
more lemmas
src/HOL/Library/Multiset.thy src/HOL/Library/Multiset_Order.thy

2016-10-27 blanchet [Thu, 27 Oct 2016 15:08:50 +0200] rev 64417
updated CVC4 component
Admin/components/components.sha1 Admin/components/main

2016-10-27 blanchet [Thu, 27 Oct 2016 14:14:58 +0200] rev 64416
tuning
src/HOL/Tools/BNF/bnf_fp_def_sugar.ML

2016-10-27 blanchet [Thu, 27 Oct 2016 14:14:48 +0200] rev 64415
more uniform treatment of codatatype vs. datatype map and rel theorem generation (towards nonuniform codatatypes)
src/HOL/Tools/BNF/bnf_fp_def_sugar.ML src/HOL/Tools/BNF/bnf_fp_def_sugar_tactics.ML

2016-10-27 nipkow [Thu, 27 Oct 2016 12:54:55 +0200] rev 64414
added lemma
src/HOL/Library/Tree.thy