Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. avoid race condition wrt. ISABELLE_TMP, which is removed in Bash.cleanup() before Bash.result(progress_stdout);
  2. clarified "consolidation" vs. "presentation";
  3. tuned signature;
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)