14 months ago Angeliki KoutsoukouArgyraki <ak2110@cam.ac.uk> [Tue, 28 Aug 2018 13:28:39 +0100] rev 68833
tagged 21 theories in the Analysis library for the manual
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/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/Homeomorphism.thy src/HOL/Analysis/Operator_Norm.thy src/HOL/Analysis/Ordered_Euclidean_Space.thy src/HOL/Analysis/Poly_Roots.thy src/HOL/Analysis/Polytope.thy src/HOL/Analysis/Vitali_Covering_Theorem.thy src/HOL/Analysis/Weierstrass_Theorems.thy

14 months ago wenzelm [Tue, 28 Aug 2018 12:42:57 +0200] rev 68832
tuned output;
src/Pure/Thy/export.scala

14 months ago wenzelm [Tue, 28 Aug 2018 12:39:37 +0200] rev 68831
Export.Provider for "isabelle dump" output_dir;
src/Pure/Thy/export.scala

14 months ago wenzelm [Tue, 28 Aug 2018 12:07:30 +0200] rev 68830
retain original id, which is command_id/exec_id for PIDE;
tuned;
src/Pure/Thy/export_theory.ML src/Pure/Thy/export_theory.scala

14 months ago wenzelm [Tue, 28 Aug 2018 11:40:11 +0200] rev 68829
tuned signature;
src/Pure/General/position.ML src/Pure/PIDE/active.ML

14 months ago wenzelm [Tue, 28 Aug 2018 11:28:38 +0200] rev 68828
tuned;
src/HOL/Real_Asymp/real_asymp_diag.ML

14 months ago wenzelm [Tue, 28 Aug 2018 11:22:04 +0200] rev 68827
tuned signature;
src/Pure/Pure.thy src/Pure/config.ML

14 months ago wenzelm [Tue, 28 Aug 2018 11:13:33 +0200] rev 68826
clarified ML_environment: ML_write_global requires "Isabelle";
src/Pure/Pure.thy

14 months ago wenzelm [Tue, 28 Aug 2018 10:58:43 +0200] rev 68825
clarified signature: do not expose internal operation;
src/HOL/TPTP/TPTP_Proof_Reconstruction.thy src/Pure/tactic.ML

14 months ago wenzelm [Mon, 27 Aug 2018 22:58:36 +0200] rev 68824
some NEWS (instead of proper documentation);
NEWS