2015-04-21 paulson <lp15@cam.ac.uk> [Tue, 21 Apr 2015 17:19:00 +0100] rev 60141
New material, mostly about limits. Consolidation.
src/HOL/Binomial.thy src/HOL/Library/BigO.thy src/HOL/Library/Library.thy src/HOL/Library/NthRoot_Limits.thy src/HOL/Limits.thy src/HOL/Multivariate_Analysis/Complex_Transcendental.thy src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy src/HOL/NthRoot.thy src/HOL/Number_Theory/Fib.thy src/HOL/Probability/Measure_Space.thy src/HOL/Series.thy src/HOL/Transcendental.thy

2015-04-20 kleing [Mon, 20 Apr 2015 13:46:36 +0100] rev 60140
be less specific about POLYML_HOME, take component setup instead
Admin/isatest/settings/afp-poly

2015-04-20 blanchet [Mon, 20 Apr 2015 11:23:00 +0200] rev 60139
declare Nitpick atoms to avoid '??.' prefixes in output
src/HOL/Tools/Nitpick/nitpick_model.ML

2015-04-19 wenzelm [Sun, 19 Apr 2015 21:26:50 +0200] rev 60138
back to post-release mode -- after fork point;
CONTRIBUTORS NEWS

2015-04-19 blanchet [Sun, 19 Apr 2015 19:46:44 +0200] rev 60137
acknowledgment
src/Doc/Datatypes/Datatypes.thy

2015-04-19 blanchet [Sun, 19 Apr 2015 19:43:36 +0200] rev 60136
suppressed warnings
src/Doc/Datatypes/Datatypes.thy

2015-04-19 blanchet [Sun, 19 Apr 2015 19:29:38 +0200] rev 60135
updated docs, esp. relating to 'datatype_compat'
src/Doc/Datatypes/Datatypes.thy

2015-04-19 kleing [Sun, 19 Apr 2015 15:38:24 +0100] rev 60134
typo
src/Doc/Datatypes/Datatypes.thy

2015-04-18 wenzelm [Sat, 18 Apr 2015 23:43:30 +0200] rev 60133
clarified keywords for quasi-command spans and Sidekick structure;
src/Pure/Isar/token.scala src/Pure/System/options.scala

2015-04-18 wenzelm [Sat, 18 Apr 2015 21:13:05 +0200] rev 60132
merged