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;
  13. tuned
  14. tuned
  15. mv lemma
  16. removed unused lemma
  17. tuned
  18. removed some non-essential rules
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)
Changeset 68162:61878d2aa6c7 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
Changeset 68161:2053ff42214b by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
Changeset 68160:efce008331f6 by nipkow:
mv lemma
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
The file was modified src/HOL/List.thy (diff)
Changeset 68159:620ca44d8b7d by nipkow:
removed unused lemma
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
Changeset 68158:b00f0f990bc5 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
Changeset 68157:057d5b4ce47e by haftmann:
removed some non-essential rules
The file was modified NEWS (diff)
The file was modified src/HOL/Algebra/Multiplicative_Group.thy (diff)
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/MacLaurin.thy (diff)
The file was modified src/HOL/Number_Theory/Pocklington.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
The file was modified src/HOL/Presburger.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
The file was modified src/HOL/Word/Word_Miscellaneous.thy (diff)