Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature: prefer Database_Context;
  2. clarified modules;
  3. tuned NEWS;
  4. removed unused material;
  5. more NEWS;
  6. NEWS;
  7. more interrupts;
  8. clarified messages;
  9. clarified document output;
  10. clarified messages;
  11. clarified PDF/HTML presentation, based on pdf blobs from session database (e.g. from earlier builds);
  12. tuned signature;
Changeset 72683:b5e6f0d137a7 by wenzelm:
clarified signature: prefer Database_Context;
The file was modified src/Pure/Admin/build_doc.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 72682:e0443773ef1a by wenzelm:
clarified modules;
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 72681:035b8054013a by wenzelm:
tuned NEWS;
The file was modified NEWS (diff)
Changeset 72680:b22f1e2b4e94 by wenzelm:
removed unused material;
The file was modified src/Pure/General/url.ML (diff)
Changeset 72679:7ab733b2aecb by wenzelm:
more NEWS;
The file was modified NEWS (diff)
Changeset 72678:418dfce5533f by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 72677:86fac52c2795 by wenzelm:
more interrupts;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72676:1cbf36ac4d0b by wenzelm:
clarified messages;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72675:cc1347c8c804 by wenzelm:
clarified document output;
The file was modified etc/options (diff)
The file was modified src/Doc/System/Presentation.thy (diff)
The file was modified src/Pure/Admin/build_doc.scala (diff)
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 72674:a9fea3f11cc0 by wenzelm:
clarified messages;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 72673:8ff7a0e394f9 by wenzelm:
clarified PDF/HTML presentation, based on pdf blobs from session database (e.g. from earlier builds);
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/build_job.scala (diff)
Changeset 72672:573ccec4dbac by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/sessions.scala (diff)