Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned
  2. more robust: parents are strict in Export_Theory.read_theory and thus approximate "commit" of exports;
  3. more detailed progress;
  4. more informative node_status;
  5. tuned signature;
  6. more robust default options, notably for node consolidation;
  7. tuned;
  8. more robust: load_theories after consumer is installed;
  9. merged
  10. proper polarity of terminated status;
  11. merged
  12. tagged 1 theory: Great_Picard
Changeset 68901:4824cc40f42e by nipkow:
tuned
The file was modified src/HOL/Analysis/Linear_Algebra.thy (diff)
Changeset 68900:1145b25c53de by wenzelm:
more robust: parents are strict in Export_Theory.read_theory and thus approximate "commit" of exports;
The file was modified src/Pure/Thy/export_theory.ML (diff)
Changeset 68899:b15b03c13dbb by wenzelm:
more detailed progress;
The file was modified src/Pure/System/progress.scala (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68898:241d08beaf5c by wenzelm:
more informative node_status;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/PIDE/document_status.scala (diff)
Changeset 68897:bdc38f0fd68c by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document_status.scala (diff)
Changeset 68896:e63eaae13165 by wenzelm:
more robust default options, notably for node consolidation;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68895:cca4555f412d by wenzelm:
tuned;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68894:1dbdad1b57a5 by wenzelm:
more robust: load_theories after consumer is installed;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68893:58bf801d679a by wenzelm:
merged
Changeset 68892:dce6cbd3cafc by wenzelm:
proper polarity of terminated status;
The file was modified src/Pure/PIDE/document_status.scala (diff)
Changeset 68891:3cdde2ea2667 by angeliki koutsoukouargyraki _ak2110@cam.ac.uk_:
merged
Changeset 68890:725d5ed56563 by angeliki koutsoukouargyraki _ak2110@cam.ac.uk_:
tagged 1 theory: Great_Picard
The file was modified src/HOL/Analysis/Great_Picard.thy (diff)