2016-01-09 wenzelm [Sat, 09 Jan 2016 12:35:07 +0100] rev 62107
discontinued \<struct> syntax;
NEWS src/Doc/Isar_Ref/Inner_Syntax.thy src/Pure/pure_thy.ML

2016-01-08 wenzelm [Fri, 08 Jan 2016 20:06:48 +0100] rev 62106
tuned whitespace;
src/Doc/Isar_Ref/Inner_Syntax.thy

2016-01-08 wenzelm [Fri, 08 Jan 2016 19:46:30 +0100] rev 62105
tuned;
src/HOL/Algebra/FiniteProduct.thy src/HOL/Algebra/Ring.thy

2016-01-08 wenzelm [Fri, 08 Jan 2016 18:18:40 +0100] rev 62104
clarified symbol insertion, depending on buffer encoding;
src/Pure/General/symbol.scala src/Pure/Thy/html.scala src/Tools/jEdit/src/isabelle.scala src/Tools/jEdit/src/isabelle_encoding.scala src/Tools/jEdit/src/symbols_dockable.scala src/Tools/jEdit/src/token_markup.scala

2016-01-08 wenzelm [Fri, 08 Jan 2016 17:17:43 +0100] rev 62103
tuned;
src/Pure/General/symbol.scala src/Pure/Isar/token.scala

2016-01-08 hoelzl [Fri, 08 Jan 2016 17:41:04 +0100] rev 62102
fix code generation for uniformity: uniformity is a non-computable pure data.
src/HOL/Complex.thy src/HOL/Filter.thy src/HOL/Library/Formal_Power_Series.thy src/HOL/Library/Product_Vector.thy src/HOL/Multivariate_Analysis/Bounded_Linear_Function.thy src/HOL/Multivariate_Analysis/Finite_Cartesian_Product.thy src/HOL/Probability/Fin_Map.thy src/HOL/Real_Vector_Spaces.thy src/HOL/Topological_Spaces.thy

2016-01-08 hoelzl [Fri, 08 Jan 2016 17:40:59 +0100] rev 62101
add uniform spaces
NEWS src/HOL/Complex.thy src/HOL/Filter.thy src/HOL/Library/Extended_Real.thy src/HOL/Library/Formal_Power_Series.thy src/HOL/Library/Inner_Product.thy src/HOL/Library/Product_Vector.thy src/HOL/Limits.thy src/HOL/Multivariate_Analysis/Bounded_Continuous_Function.thy src/HOL/Multivariate_Analysis/Bounded_Linear_Function.thy src/HOL/Multivariate_Analysis/Cauchy_Integral_Thm.thy src/HOL/Multivariate_Analysis/Derivative.thy src/HOL/Multivariate_Analysis/Finite_Cartesian_Product.thy src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy src/HOL/Probability/Discrete_Topology.thy src/HOL/Probability/Fin_Map.thy src/HOL/Product_Type.thy src/HOL/Real_Vector_Spaces.thy src/HOL/Topological_Spaces.thy

2016-01-08 wenzelm [Fri, 08 Jan 2016 16:37:56 +0100] rev 62100
merged
src/HOL/List.thy

2016-01-08 wenzelm [Fri, 08 Jan 2016 16:19:41 +0100] rev 62099
merged

2016-01-08 wenzelm [Fri, 08 Jan 2016 15:54:43 +0100] rev 62098
tuned;
CONTRIBUTORS NEWS