Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more uniform types vs. consts;
  3. more concise information;
  4. export foundational theory content in Scala;
  5. clarified markup;
  6. tuned signature;
  7. tuned -- use XZ.Cache;
  8. clarified implicit compression;
  9. tuned -- use XZ.Cache;
  10. more exports; misc tuning and clarification;
  11. tuned;
  12. more operations;
Changeset 68174:7c4793e39dd5 by wenzelm:
merged
Changeset 68173:7ed88a534bb6 by wenzelm:
more uniform types vs. consts;
The file was modified src/Pure/Thy/export_theory.ML (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68172:0f14cf9c632f by wenzelm:
more concise information;
The file was modified src/Pure/General/position.ML (diff)
The file was modified src/Pure/Thy/export_theory.ML (diff)
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68171:13162bb3a677 by wenzelm:
export foundational theory content in Scala;
The file was addedsrc/Pure/Thy/export_theory.scala
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 68170:7e1daf6f2578 by wenzelm:
clarified markup;
The file was modified src/Pure/Thy/export_theory.ML (diff)
Changeset 68169:395432e7516e by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/PIDE/xml.scala (diff)
The file was modified src/Pure/System/isabelle_process.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 68168:a9b49430f061 by wenzelm:
tuned -- use XZ.Cache;
The file was modified src/Pure/PIDE/session.scala (diff)
Changeset 68167:327bb0f5f768 by wenzelm:
clarified implicit compression;
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/Thy/export.ML (diff)
The file was modified src/Pure/Thy/export.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 68166:021c6fecaf5c by wenzelm:
tuned -- use XZ.Cache;
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 68165:a7a2174ac014 by wenzelm:
more exports;<br>misc tuning and clarification;
The file was modified src/Pure/Thy/export_theory.ML (diff)
Changeset 68164:738071699826 by wenzelm:
tuned;
The file was modified src/Pure/theory.ML (diff)
Changeset 68163:b168f30e541f by wenzelm:
more operations;
The file was modified src/Pure/General/name_space.ML (diff)