7 months ago wenzelm [Thu, 08 Nov 2018 15:49:56 +0100] rev 69266
proper ML expressions, without trailing semicolons;
src/HOL/Decision_Procs/Cooper.thy src/HOL/Decision_Procs/Ferrack.thy src/HOL/Decision_Procs/MIR.thy

7 months ago wenzelm [Thu, 08 Nov 2018 14:58:04 +0100] rev 69265
insist in specified resolver/compiler version;
lib/Tools/ghc

7 months ago wenzelm [Thu, 08 Nov 2018 14:56:53 +0100] rev 69264
simplified -- according to regular "ghci" script;
lib/Tools/ghci

7 months ago wenzelm [Thu, 08 Nov 2018 14:48:20 +0100] rev 69263
clarified ML positions (see also 1a52baa70aed);
src/Pure/Isar/isar_cmd.ML

7 months ago wenzelm [Thu, 08 Nov 2018 13:42:36 +0100] rev 69262
more standard Resources.provide_parse_files: avoid duplicate markup reports;
src/Pure/Pure.thy

7 months ago wenzelm [Thu, 08 Nov 2018 12:32:06 +0100] rev 69261
more uniform (see 1722cc56d22e);
lib/Tools/ocaml lib/Tools/ocamlc

7 months ago haftmann [Thu, 08 Nov 2018 09:11:52 +0100] rev 69260
removed relics of ASCII syntax for indexed big operators
src/HOL/Analysis/Binary_Product_Measure.thy src/HOL/Analysis/Borel_Space.thy src/HOL/Analysis/Bounded_Continuous_Function.thy src/HOL/Analysis/Bounded_Linear_Function.thy src/HOL/Analysis/Caratheodory.thy src/HOL/Analysis/Complete_Measure.thy src/HOL/Analysis/Connected.thy src/HOL/Analysis/Convex_Euclidean_Space.thy src/HOL/Analysis/Embed_Measure.thy src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy src/HOL/Analysis/Extended_Real_Limits.thy src/HOL/Analysis/Finite_Cartesian_Product.thy src/HOL/Analysis/Finite_Product_Measure.thy src/HOL/Analysis/Function_Topology.thy src/HOL/Analysis/Gamma_Function.thy src/HOL/Analysis/Improper_Integral.thy src/HOL/Analysis/Lebesgue_Measure.thy src/HOL/Analysis/Measurable.thy src/HOL/Analysis/Measure_Space.thy src/HOL/Analysis/Nonnegative_Lebesgue_Integration.thy src/HOL/Analysis/Ordered_Euclidean_Space.thy src/HOL/Analysis/Polytope.thy src/HOL/Analysis/Product_Vector.thy src/HOL/Analysis/Radon_Nikodym.thy src/HOL/Analysis/Regularity.thy src/HOL/Analysis/Riemann_Mapping.thy src/HOL/Analysis/Tagged_Division.thy src/HOL/Analysis/Topology_Euclidean_Space.thy src/HOL/Analysis/Uniform_Limit.thy src/HOL/Analysis/Weierstrass_Theorems.thy src/HOL/Complete_Lattices.thy src/HOL/Complex.thy src/HOL/Computational_Algebra/Formal_Power_Series.thy src/HOL/Filter.thy src/HOL/IMP/Collecting.thy src/HOL/Library/Countable_Complete_Lattices.thy src/HOL/Library/Extended_Nonnegative_Real.thy src/HOL/Library/Extended_Real.thy src/HOL/Library/Finite_Lattice.thy src/HOL/Library/Liminf_Limsup.thy src/HOL/Library/Multiset.thy src/HOL/Library/Product_Order.thy src/HOL/Probability/Discrete_Topology.thy src/HOL/Probability/Distribution_Functions.thy src/HOL/Probability/Essential_Supremum.thy src/HOL/Probability/Fin_Map.thy src/HOL/Probability/Giry_Monad.thy src/HOL/Probability/Helly_Selection.thy src/HOL/Probability/Projective_Family.thy src/HOL/Probability/Projective_Limit.thy ...

7 months ago wenzelm [Wed, 07 Nov 2018 23:03:45 +0100] rev 69259
tuned;
src/Pure/Thy/bibtex.scala src/Pure/Thy/file_format.scala

7 months ago wenzelm [Wed, 07 Nov 2018 22:38:38 +0100] rev 69258
obsolete;
src/Pure/build-jars

7 months ago wenzelm [Wed, 07 Nov 2018 22:31:56 +0100] rev 69257
clarified signature;
src/Pure/Thy/bibtex.scala src/Pure/Thy/file_format.scala