Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. continuously clean frontier of already committed theories: much less resource requirements;
  3. tuned signature;
  4. missing name
  5. tuned whitespace;
  6. merged
  7. proper tast_context (amending 5f44ad150ed8);
  8. clarified error progress and error_rc;
  9. tuned signature;
  10. clarified rc;
  11. tuned signature;
  12. dump aspects asynchronously;
  13. record status of already committed nodes; tuned signature;
  14. tuned;
  15. tuned signature;
  16. tuned;
  17. added Let_def
Changeset 68937:cbf5475a0f66 by wenzelm:
merged
Changeset 68936:90c08c7bab9c by wenzelm:
continuously clean frontier of already committed theories: much less resource requirements;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68935:7a420bee1eea by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68934:b825fa94fe56 by nipkow:
missing name
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
Changeset 68933:f50d98a0e140 by wenzelm:
tuned whitespace;
The file was modified src/HOL/Library/Nonpos_Ints.thy (diff)
Changeset 68932:e609c3dec6f8 by wenzelm:
merged
Changeset 68931:fc5763d000e8 by wenzelm:
proper tast_context (amending 5f44ad150ed8);
The file was modified src/Pure/PIDE/command.ML (diff)
Changeset 68930:19ddfe546620 by wenzelm:
clarified error progress and error_rc;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68929:10cbb5d99081 by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68928:835e5d45359c by wenzelm:
clarified rc;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 68927:01f46a4b22b4 by wenzelm:
tuned signature;
The file was modified src/Pure/System/process_result.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68926:5129fcc1b6c0 by wenzelm:
dump aspects asynchronously;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68925:76ce16eefab9 by wenzelm:
record status of already committed nodes;<br>tuned signature;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68924:feed46aa1969 by wenzelm:
tuned;
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 68923:59d2eab3f8b9 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68922:1751765b636d by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 68921:35ea237696cf by nipkow:
added Let_def
The file was modified src/Doc/Prog_Prove/Types_and_funs.thy (diff)