2017-08-22 wenzelm [Tue, 22 Aug 2017 11:42:51 +0200] rev 66482
tuned;
CONTRIBUTORS

2017-08-22 Lars Hupel <lars.hupel@mytum.de> [Tue, 22 Aug 2017 08:55:07 +0200] rev 66481
output syntax for pattern aliases
NEWS src/HOL/Library/Pattern_Aliases.thy

2017-08-21 Manuel Eberl <eberlm@in.tum.de> [Mon, 21 Aug 2017 20:49:15 +0200] rev 66480
HOL-Analysis: Convergent FPS and infinite sums
CONTRIBUTORS NEWS src/HOL/Analysis/Analysis.thy src/HOL/Analysis/Complex_Transcendental.thy src/HOL/Analysis/FPS_Convergence.thy src/HOL/Analysis/Infinite_Set_Sum.thy src/HOL/Computational_Algebra/Formal_Power_Series.thy src/HOL/Computational_Algebra/Polynomial_FPS.thy

2017-08-21 wenzelm [Mon, 21 Aug 2017 19:20:02 +0200] rev 66479
proper argument type (amending 8d5cb4ea2b7c);
src/Pure/General/http.scala

2017-08-21 wenzelm [Mon, 21 Aug 2017 17:35:59 +0200] rev 66478
tuned;
ANNOUNCE

2017-08-21 wenzelm [Mon, 21 Aug 2017 17:31:03 +0200] rev 66477
updated for release;
Admin/Release/CHECKLIST

2017-08-21 wenzelm [Mon, 21 Aug 2017 17:19:20 +0200] rev 66476
tuned;
src/Tools/jEdit/src-base/Isabelle_Base.props

2017-08-21 wenzelm [Mon, 21 Aug 2017 17:15:26 +0200] rev 66475
misc updates for release;
ANNOUNCE CONTRIBUTORS COPYRIGHT

2017-08-21 wenzelm [Mon, 21 Aug 2017 17:14:59 +0200] rev 66474
tuned;
NEWS

2017-08-21 wenzelm [Mon, 21 Aug 2017 16:58:51 +0200] rev 66473
tuned;
NEWS