22 months ago wenzelm [Tue, 21 Jun 2016 14:42:47 +0200] rev 63337
position information for literal facts;
Markup.entry may have empty kind/name;
src/HOL/Mirabelle/Tools/mirabelle_metis.ML src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML src/Pure/Isar/proof_context.ML src/Pure/PIDE/markup.ML src/Pure/PIDE/markup.scala src/Pure/facts.ML src/Tools/jEdit/src/rendering.scala

22 months ago wenzelm [Tue, 21 Jun 2016 11:03:24 +0200] rev 63336
tuned;
src/Pure/Isar/attrib.ML

22 months ago wenzelm [Tue, 21 Jun 2016 10:41:29 +0200] rev 63335
tuned;
src/Pure/General/binding.ML

22 months ago hoelzl [Tue, 21 Jun 2016 12:10:44 +0200] rev 63334
Multivariate_Analysis: add continuous_on_vec_lambda
src/HOL/Multivariate_Analysis/Cartesian_Euclidean_Space.thy

22 months ago hoelzl [Thu, 16 Jun 2016 23:03:27 +0200] rev 63333
Probability: show that measures form a complete lattice
src/HOL/Probability/Binary_Product_Measure.thy src/HOL/Probability/Embed_Measure.thy src/HOL/Probability/Finite_Product_Measure.thy src/HOL/Probability/Giry_Monad.thy src/HOL/Probability/Measurable.thy src/HOL/Probability/Measure_Space.thy src/HOL/Probability/Nonnegative_Lebesgue_Integration.thy src/HOL/Probability/Radon_Nikodym.thy src/HOL/Probability/SPMF.thy src/HOL/Probability/Sigma_Algebra.thy src/HOL/Probability/Stream_Space.thy

22 months ago hoelzl [Wed, 15 Jun 2016 22:19:03 +0200] rev 63332
move open_Collect_eq/less to HOL
src/HOL/Multivariate_Analysis/Brouwer_Fixpoint.thy src/HOL/Multivariate_Analysis/Cartesian_Euclidean_Space.thy src/HOL/Multivariate_Analysis/Complex_Analysis_Basics.thy src/HOL/Multivariate_Analysis/Convex_Euclidean_Space.thy src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy src/HOL/Probability/Borel_Space.thy src/HOL/Topological_Spaces.thy

22 months ago hoelzl [Fri, 17 Jun 2016 09:44:16 +0200] rev 63331
move Conditional_Complete_Lattices to Main
src/HOL/Archimedean_Field.thy src/HOL/Conditionally_Complete_Lattices.thy src/HOL/Library/FSet.thy src/HOL/Main.thy src/HOL/Real.thy

22 months ago hoelzl [Wed, 15 Jun 2016 15:55:02 +0200] rev 63330
Probability: introduce Hahn decomposition; use it to clean up Radon_Nikodym
src/HOL/Probability/Radon_Nikodym.thy

22 months ago hoelzl [Tue, 14 Jun 2016 12:18:45 +0200] rev 63329
Probability: tuned headers; cleanup Radon_Nikodym
src/HOL/Probability/Central_Limit_Theorem.thy src/HOL/Probability/Characteristic_Functions.thy src/HOL/Probability/Distribution_Functions.thy src/HOL/Probability/Helly_Selection.thy src/HOL/Probability/Interval_Integral.thy src/HOL/Probability/Levy.thy src/HOL/Probability/Radon_Nikodym.thy src/HOL/Probability/Set_Integral.thy src/HOL/Probability/Sinc_Integral.thy src/HOL/Probability/Weak_Convergence.thy

22 months ago Lars Hupel <lars.hupel@mytum.de> [Tue, 21 Jun 2016 10:53:43 +0200] rev 63328
read Java system properties from ISABELLE_CI_PROPERTIES
src/Pure/Tools/ci_profile.scala