Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper PIDE positions;
  2. avoid race condition wrt. ISABELLE_TMP, which is removed in Bash.cleanup() before Bash.result(progress_stdout);
  3. clarified "consolidation" vs. "presentation";
  4. tuned signature;
  5. merged
  6. tuned;
  7. more thorough checks for theory name consistency (for extend, not just merge);
  8. more uniform output (cf. 450cefec7c11);
  9. removed duplicates
  10. added lemmas
Changeset 68199:f551dd2178ab by wenzelm:
proper PIDE positions;
The file was modified src/Pure/Thy/export_theory.ML (diff)
Changeset 68198:6710167e17af by wenzelm:
avoid race condition wrt. ISABELLE_TMP, which is removed in Bash.cleanup() before Bash.result(progress_stdout);
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 68197:7857817403e4 by wenzelm:
clarified "consolidation" vs. "presentation";
The file was modified etc/options (diff)
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 68196:756434c77d21 by wenzelm:
tuned signature;
The file was modified src/Pure/Concurrent/future.ML (diff)
Changeset 68195:607957640057 by wenzelm:
merged
Changeset 68194:796f2585c7ee by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_output.ML (diff)
Changeset 68193:14dd78f036ba by wenzelm:
more thorough checks for theory name consistency (for extend, not just merge);
The file was modified src/Pure/context.ML (diff)
Changeset 68192:73a1b393d6f9 by wenzelm:
more uniform output (cf. 450cefec7c11);
The file was modified src/Pure/context.ML (diff)
Changeset 68191:4ac04fe61e98 by nipkow:
removed duplicates
The file was modified src/HOL/List.thy (diff)
Changeset 68190:695ff8a207b0 by nipkow:
added lemmas
The file was modified src/HOL/List.thy (diff)