Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more conservative update of Haskell stack (amending 04e54f57a869): 13.0 still lacks notable packages like "Agda" or "darcs";
  2. merged;
  3. clarified sessions_deps, according to Isabelle/MMT usage;
  4. tuned signature: for other dump-like tools;
  5. unused;
  6. tuned;
  7. clarified defaults via system options;
  8. added bib-file
  9. tuned headers etc, added bib-file
  10. tuned style and headers
Changeset 69526:5574d504cf36 by wenzelm:
more conservative update of Haskell stack (amending 04e54f57a869): 13.0 still lacks notable packages like "Agda" or "darcs";
The file was modified etc/settings (diff)
Changeset 69525:8e7134f1f585 by wenzelm:
merged;
Changeset 69524:fa94f2b2a877 by wenzelm:
clarified sessions_deps, according to Isabelle/MMT usage;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
The file was modified src/Pure/Tools/imports.scala (diff)
Changeset 69523:9403ff523825 by wenzelm:
tuned signature: for other dump-like tools;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 69522:9457d85204f5 by wenzelm:
unused;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 69521:0428fd0a13b7 by wenzelm:
tuned;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 69520:16779868de1f by wenzelm:
clarified defaults via system options;
The file was modified etc/options (diff)
The file was modified src/Pure/PIDE/headless.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 69519:0563419bf022 by nipkow:
added bib-file
The file was addedsrc/HOL/Analysis/document/root.bib
Changeset 69518:bf88364c9e94 by nipkow:
tuned headers etc, added bib-file
The file was modified src/HOL/Analysis/Connected.thy (diff)
The file was modified src/HOL/Analysis/Continuous_Extension.thy (diff)
The file was modified src/HOL/Analysis/Convex_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Operator_Norm.thy (diff)
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
The file was modified src/HOL/Analysis/Starlike.thy (diff)
The file was modified src/HOL/Analysis/document/root.tex (diff)
The file was modified src/HOL/ROOT (diff)
Changeset 69517:dc20f278e8f3 by nipkow:
tuned style and headers
The file was modified src/HOL/Analysis/Arcwise_Connected.thy (diff)
The file was modified src/HOL/Analysis/Ball_Volume.thy (diff)
The file was modified src/HOL/Analysis/Binary_Product_Measure.thy (diff)
The file was modified src/HOL/Analysis/Borel_Space.thy (diff)
The file was modified src/HOL/Analysis/Caratheodory.thy (diff)
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Conformal_Mappings.thy (diff)
The file was modified src/HOL/Analysis/Continuum_Not_Denumerable.thy (diff)
The file was modified src/HOL/Analysis/Extended_Real_Limits.thy (diff)
The file was modified src/HOL/Analysis/FPS_Convergence.thy (diff)
The file was modified src/HOL/Analysis/Fashoda_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Finite_Cartesian_Product.thy (diff)
The file was modified src/HOL/Analysis/Finite_Product_Measure.thy (diff)
The file was modified src/HOL/Analysis/Function_Topology.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Infinite_Set_Sum.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Integral_Substitution.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Measure.thy (diff)
The file was modified src/HOL/Analysis/Linear_Algebra.thy (diff)
The file was modified src/HOL/Analysis/Lipschitz.thy (diff)
The file was modified src/HOL/Analysis/Measurable.thy (diff)
The file was modified src/HOL/Analysis/Measure_Space.thy (diff)
The file was modified src/HOL/Analysis/Norm_Arith.thy (diff)
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
The file was modified src/HOL/Analysis/Poly_Roots.thy (diff)
The file was modified src/HOL/Analysis/Radon_Nikodym.thy (diff)
The file was modified src/HOL/Analysis/Simplex_Content.thy (diff)
The file was modified src/HOL/Analysis/Weierstrass_Theorems.thy (diff)
The file was modified src/HOL/Analysis/document/root.tex (diff)