2016-10-03 wenzelm [Mon, 03 Oct 2016 17:23:33 +0200] rev 64022
clarified cold-start environment;
bin/isabelle_java

2016-10-03 wenzelm [Mon, 03 Oct 2016 16:50:29 +0200] rev 64021
basic setup for Admin/build_history -- outside of Isabelle environment;
Admin/build_history src/Pure/System/isabelle_system.scala src/Pure/Tools/build_history.scala src/Pure/build-jars

2016-10-03 wenzelm [Mon, 03 Oct 2016 16:15:59 +0200] rev 64020
clarified: a variant of -i is the default, but its output is not as precise as it might seem;
src/Pure/General/mercurial.scala

2016-10-05 nipkow [Wed, 05 Oct 2016 21:27:21 +0200] rev 64019
merged

2016-10-05 nipkow [Wed, 05 Oct 2016 20:01:05 +0200] rev 64018
replaced floorlog by floor/ceiling(log .)
src/HOL/Data_Structures/Balance.thy

2016-10-05 fleury <Mathias.Fleury@mpi-inf.mpg.de> [Wed, 05 Oct 2016 20:12:56 +0200] rev 64017
more multiset simp rules
src/HOL/Library/Multiset.thy

2016-10-05 fleury <Mathias.Fleury@mpi-inf.mpg.de> [Wed, 05 Oct 2016 14:28:22 +0200] rev 64016
tuned proof -- much faster
src/HOL/Cardinals/Ordinal_Arithmetic.thy

2016-10-03 haftmann [Mon, 03 Oct 2016 14:37:06 +0200] rev 64015
proof of concept for algebraically founded word types
src/HOL/ROOT src/HOL/ex/Word_Type.thy

2016-10-03 haftmann [Mon, 03 Oct 2016 14:34:32 +0200] rev 64014
more lemmas
src/HOL/Divides.thy src/HOL/Int.thy src/HOL/Transfer.thy

2016-10-03 haftmann [Mon, 03 Oct 2016 14:34:31 +0200] rev 64013
option to report results of solve_direct as explicit warnings
NEWS src/Tools/solve_direct.ML