Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. clarified signature: re-use store/cache from build results;
  2. tuned signature;
  3. clarified signature: persistent Node.source / Snapshot.source;
  4. more examples;
  5. proper filter (amending fb4215da4919);
  6. clarified conditions: no_build is ok for presentation if "all_current" holds; tuned;
  7. tuned;
  8. tuned signature;
  9. clarified presentation_sessions: work with partial results;
  10. tuned signature: removed unused operations;
  11. tuned;
  12. tuned comments;
Changeset 76206:769a7cd5a16a by wenzelm:
clarified signature: re-use store/cache from build results;
The file was modified src/HOL/Tools/Mirabelle/mirabelle.scala
The file was modified src/Pure/Admin/build_doc.scala
The file was modified src/Pure/Thy/document_build.scala
The file was modified src/Pure/Tools/build.scala
Changeset 76205:005abcb34849 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/browser_info.scala
The file was modified src/Pure/Tools/build_job.scala
The file was modified src/Pure/Tools/profiling_report.scala
Changeset 76204:b80b2fbc46c3 by wenzelm:
clarified signature: persistent Node.source / Snapshot.source;
The file was modified src/Pure/PIDE/document.scala
The file was modified src/Pure/Thy/bibtex.scala
The file was modified src/Pure/Thy/browser_info.scala
Changeset 76203:258056f533ce by wenzelm:
more examples;
The file was modified src/Doc/System/Sessions.thy
Changeset 76202:d535db35388e by wenzelm:
proper filter (amending fb4215da4919);
The file was modified src/Pure/Tools/build.scala
Changeset 76201:9d1819c28f67 by wenzelm:
clarified conditions: no_build is ok for presentation if &quot;all_current&quot; holds;<br>tuned;
The file was modified src/Pure/Tools/build.scala
Changeset 76200:5266830ee9ec by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.scala
Changeset 76199:6bf42525f111 by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/build.scala
Changeset 76198:fb4215da4919 by wenzelm:
clarified presentation_sessions: work with partial results;
The file was modified src/Pure/Tools/build.scala
Changeset 76197:544e81a2c9fc by wenzelm:
tuned signature: removed unused operations;
The file was modified src/Pure/Tools/build.scala
Changeset 76196:19978abbc111 by wenzelm:
tuned;
The file was modified src/Pure/Tools/build.scala
Changeset 76195:a1f458f089b9 by wenzelm:
tuned comments;
The file was modified etc/options