45 minutes ago wenzelm [Sat, 19 Jan 2019 19:16:58 +0100] rev 69692 default tip
auto-update for some experimental components;
Admin/components/components.sha1

3 hours ago wenzelm [Sat, 19 Jan 2019 16:53:18 +0100] rev 69691
clarified URLs: prefer sketis over bitbucket;
Admin/Release/CHECKLIST src/Pure/Admin/build_polyml.scala

11 hours ago haftmann [Sat, 19 Jan 2019 07:19:16 +0000] rev 69690
self-contained code modules for Haskell
NEWS src/Doc/Codegen/Adaptation.thy src/HOL/Imperative_HOL/Heap_Monad.thy src/HOL/Library/Code_Lazy.thy src/HOL/Library/IArray.thy src/HOL/Quickcheck_Narrowing.thy src/Tools/Code/code_haskell.ML

18 hours ago immler [Fri, 18 Jan 2019 19:48:04 -0500] rev 69689
automation for unverloading definitions
src/HOL/ROOT src/HOL/Types_To_Sets/Examples/Unoverload_Def.thy src/HOL/Types_To_Sets/Types_To_Sets.thy src/HOL/Types_To_Sets/unoverload_def.ML

19 hours ago immler [Fri, 18 Jan 2019 18:52:27 -0500] rev 69688
restore type variable names in unoverload_type
src/HOL/Types_To_Sets/Examples/Linear_Algebra_On.thy src/HOL/Types_To_Sets/unoverload_type.ML

22 hours ago nipkow [Fri, 18 Jan 2019 21:36:13 +0100] rev 69687
resolved conflict
src/HOL/Analysis/Finite_Product_Measure.thy

22 hours ago nipkow [Fri, 18 Jan 2019 21:22:46 +0100] rev 69686
resolved conflict
src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Finite_Product_Measure.thy

22 hours ago nipkow [Fri, 18 Jan 2019 21:20:14 +0100] rev 69685
tuned headers
src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Finite_Product_Measure.thy

44 hours ago immler [Thu, 17 Jan 2019 17:50:01 -0500] rev 69684
amending 689997a8a582
src/HOL/Analysis/Finite_Cartesian_Product.thy

45 hours ago immler [Thu, 17 Jan 2019 16:38:00 -0500] rev 69683
subsection is always %important
src/HOL/Analysis/Arcwise_Connected.thy src/HOL/Analysis/Binary_Product_Measure.thy src/HOL/Analysis/Bochner_Integration.thy src/HOL/Analysis/Borel_Space.thy src/HOL/Analysis/Caratheodory.thy src/HOL/Analysis/Cartesian_Euclidean_Space.thy src/HOL/Analysis/Cartesian_Space.thy src/HOL/Analysis/Change_Of_Vars.thy src/HOL/Analysis/Cross3.thy src/HOL/Analysis/Determinants.thy src/HOL/Analysis/Elementary_Topology.thy src/HOL/Analysis/Extended_Real_Limits.thy src/HOL/Analysis/Fashoda_Theorem.thy src/HOL/Analysis/Finite_Cartesian_Product.thy src/HOL/Analysis/Finite_Product_Measure.thy src/HOL/Analysis/Function_Topology.thy src/HOL/Analysis/Further_Topology.thy src/HOL/Analysis/Great_Picard.thy src/HOL/Analysis/Homeomorphism.thy src/HOL/Analysis/Improper_Integral.thy src/HOL/Analysis/Interval_Integral.thy src/HOL/Analysis/Linear_Algebra.thy src/HOL/Analysis/Ordered_Euclidean_Space.thy src/HOL/Analysis/Poly_Roots.thy src/HOL/Analysis/Polytope.thy src/HOL/Analysis/Radon_Nikodym.thy src/HOL/Analysis/Tagged_Division.thy src/HOL/Analysis/Vitali_Covering_Theorem.thy src/HOL/Analysis/Weierstrass_Theorems.thy