5 months ago immler [Thu, 27 Dec 2018 21:00:50 +0100] rev 69510
generalized to big sum
src/HOL/Analysis/Convex_Euclidean_Space.thy src/HOL/Analysis/Henstock_Kurzweil_Integration.thy src/HOL/Analysis/Linear_Algebra.thy src/HOL/Groups_Big.thy

5 months ago nipkow [Thu, 27 Dec 2018 19:48:41 +0100] rev 69509
merged

5 months ago nipkow [Thu, 27 Dec 2018 19:48:28 +0100] rev 69508
tuned headers; ~ -> \<not>
src/HOL/Analysis/Abstract_Topology.thy src/HOL/Analysis/Brouwer_Fixpoint.thy src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Cauchy_Integral_Theorem.thy src/HOL/Analysis/Complex_Analysis_Basics.thy src/HOL/Analysis/Complex_Transcendental.thy src/HOL/Analysis/Conformal_Mappings.thy src/HOL/Analysis/Connected.thy src/HOL/Analysis/Continuous_Extension.thy src/HOL/Analysis/Convex_Euclidean_Space.thy src/HOL/Analysis/Cross3.thy src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy src/HOL/Analysis/Further_Topology.thy src/HOL/Analysis/Great_Picard.thy src/HOL/Analysis/Henstock_Kurzweil_Integration.thy src/HOL/Analysis/Homeomorphism.thy src/HOL/Analysis/Improper_Integral.thy src/HOL/Analysis/Jordan_Curve.thy src/HOL/Analysis/Ordered_Euclidean_Space.thy src/HOL/Analysis/Path_Connected.thy src/HOL/Analysis/Poly_Roots.thy src/HOL/Analysis/Polytope.thy src/HOL/Analysis/Riemann_Mapping.thy src/HOL/Analysis/Starlike.thy src/HOL/Analysis/Tagged_Division.thy src/HOL/Analysis/Topology_Euclidean_Space.thy src/HOL/Analysis/Weierstrass_Theorems.thy src/HOL/Analysis/Winding_Numbers.thy

5 months ago Lars Hupel <lars.hupel@mytum.de> [Thu, 27 Dec 2018 17:36:19 +0100] rev 69507
update LTS Haskell version
etc/settings src/Pure/General/path.ML

5 months ago wenzelm [Wed, 26 Dec 2018 20:57:23 +0100] rev 69506
{* verbatim *} is explicit legacy feature;
NEWS src/Pure/PIDE/command.ML

5 months ago wenzelm [Wed, 26 Dec 2018 16:25:20 +0100] rev 69505
isabelle update_cartouches -t;
src/Doc/Classes/Classes.thy src/Doc/Codegen/Adaptation.thy src/Doc/Codegen/Computations.thy src/Doc/Codegen/Evaluation.thy src/Doc/Codegen/Foundations.thy src/Doc/Codegen/Further.thy src/Doc/Codegen/Inductive_Predicate.thy src/Doc/Codegen/Introduction.thy src/Doc/Codegen/Refinement.thy src/Doc/Corec/Corec.thy src/Doc/Datatypes/Datatypes.thy src/Doc/Functions/Functions.thy src/Doc/How_to_Prove_it/How_to_Prove_it.thy src/Doc/Locales/Examples.thy src/Doc/Locales/Examples1.thy src/Doc/Locales/Examples2.thy src/Doc/Locales/Examples3.thy src/Doc/Logics_ZF/FOL_examples.thy src/Doc/Logics_ZF/IFOL_examples.thy src/Doc/Logics_ZF/If.thy src/Doc/Logics_ZF/ZF_Isar.thy src/Doc/Logics_ZF/ZF_examples.thy src/Doc/Prog_Prove/Basics.thy src/Doc/Prog_Prove/Bool_nat_list.thy src/Doc/Prog_Prove/Isar.thy src/Doc/Prog_Prove/Logic.thy src/Doc/Prog_Prove/Types_and_funs.thy src/Doc/Sugar/Sugar.thy src/Doc/Tutorial/Advanced/Partial.thy src/Doc/Tutorial/Advanced/WFrec.thy src/Doc/Tutorial/Advanced/simp2.thy src/Doc/Tutorial/CTL/Base.thy src/Doc/Tutorial/CTL/CTL.thy src/Doc/Tutorial/CTL/CTLind.thy src/Doc/Tutorial/CTL/PDL.thy src/Doc/Tutorial/CodeGen/CodeGen.thy src/Doc/Tutorial/Datatype/ABexpr.thy src/Doc/Tutorial/Datatype/Fundata.thy src/Doc/Tutorial/Datatype/Nested.thy src/Doc/Tutorial/Documents/Documents.thy src/Doc/Tutorial/Fun/fun0.thy src/Doc/Tutorial/Ifexpr/Ifexpr.thy src/Doc/Tutorial/Inductive/AB.thy src/Doc/Tutorial/Inductive/Advanced.thy src/Doc/Tutorial/Inductive/Even.thy src/Doc/Tutorial/Inductive/Mutual.thy src/Doc/Tutorial/Inductive/Star.thy src/Doc/Tutorial/Misc/AdvancedInd.thy src/Doc/Tutorial/Misc/Itrev.thy src/Doc/Tutorial/Misc/Option2.thy ...

5 months ago wenzelm [Wed, 26 Dec 2018 16:07:28 +0100] rev 69504
tuned -- avoid conflict with cartouche argument;
src/Doc/Classes/Classes.thy

5 months ago wenzelm [Wed, 26 Dec 2018 15:28:23 +0100] rev 69503
unused -- document lacks {* ... *};
src/Doc/Corec/document/root.tex src/Doc/Datatypes/document/root.tex

5 months ago haftmann [Sun, 23 Dec 2018 20:51:23 +0000] rev 69502
more rules
src/HOL/Fields.thy src/HOL/Fun.thy src/HOL/Parity.thy src/HOL/Real.thy src/HOL/Set_Interval.thy

5 months ago wenzelm [Sun, 23 Dec 2018 15:40:28 +0100] rev 69501
tuned message;
src/Pure/Admin/build_release.scala