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

7 months ago wenzelm [Wed, 07 Nov 2018 22:15:03 +0100] rev 69256
more uniform read_file_content for Isabelle/jEdit and Isabelle/VSCode: make_theory_content is required for semantic checking of user file-formats (e.g. bibtex);
src/Tools/VSCode/src/vscode_rendering.scala src/Tools/VSCode/src/vscode_resources.scala

7 months ago wenzelm [Wed, 07 Nov 2018 21:42:16 +0100] rev 69255
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
etc/settings lib/scripts/getfunctions src/Pure/PIDE/document.scala src/Pure/PIDE/document_status.scala src/Pure/PIDE/headless.scala src/Pure/PIDE/resources.scala src/Pure/Thy/bibtex.scala src/Pure/Thy/file_format.scala src/Pure/Thy/present.scala src/Pure/Thy/sessions.scala src/Pure/Thy/thy_header.scala src/Pure/build-jars src/Tools/VSCode/src/document_model.scala src/Tools/VSCode/src/preview_panel.scala src/Tools/VSCode/src/vscode_resources.scala src/Tools/jEdit/src/document_model.scala src/Tools/jEdit/src/jedit_resources.scala src/Tools/jEdit/src/plugin.scala src/Tools/jEdit/src/theories_dockable.scala

7 months ago wenzelm [Wed, 07 Nov 2018 14:06:43 +0100] rev 69254
merged

7 months ago wenzelm [Wed, 07 Nov 2018 14:03:47 +0100] rev 69253
proper ghc_setup / ocaml_setup on target Isabelle distribution (amending 2a17c481d05e);
src/Pure/Admin/build_history.scala src/Pure/Admin/isabelle_cronjob.scala