Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more operations;
  2. merged
  3. store exports in session database, with asynchronous / parallel compression;
  4. tuned signature;
  5. tuned signature; clarified modules;
  6. tuned signature;
  7. protocol message for export of theory resources;
  8. hexadecimal representation of byte string;
  9. cleanup session output before starting build job; tuned signature;
  10. reinstated old lemma name
  11. updated to lemma name change
  12. removed asm "finite"
Changeset 68094:0b66aca9c965 by wenzelm:
more operations;
The file was modified src/Pure/General/bytes.scala (diff)
Changeset 68093:b98c5877b0f3 by wenzelm:
merged
Changeset 68092:888d35a19866 by wenzelm:
store exports in session database, with asynchronous / parallel compression;
The file was addedsrc/Pure/Thy/export.scala
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 68091:0c7820590236 by wenzelm:
tuned signature;
The file was modified src/Pure/General/sql.scala (diff)
The file was modified src/Pure/System/process_result.scala (diff)
Changeset 68090:7c8ed28dd40a by wenzelm:
tuned signature;<br>clarified modules;
The file was addedsrc/Pure/Thy/export.ML
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
Changeset 68089:d934bbfeac32 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
Changeset 68088:0763d4eb3ebc by wenzelm:
protocol message for export of theory resources;
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/PIDE/markup.scala (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/Tools/build.ML (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 68087:dac267cd51fe by wenzelm:
hexadecimal representation of byte string;
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/General/sha1.ML (diff)
The file was modified src/Pure/library.ML (diff)
Changeset 68086:9e1c670301b8 by wenzelm:
cleanup session output before starting build job;<br>tuned signature;
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 68085:7fe53815cce9 by nipkow:
reinstated old lemma name
The file was modified src/HOL/List.thy (diff)
Changeset 68084:152cc388cd1e by nipkow:
updated to lemma name change
The file was modified src/HOL/ex/Perm_Fragments.thy (diff)
Changeset 68083:d730a8cfc6e0 by nipkow:
removed asm &quot;finite&quot;
The file was modified src/HOL/List.thy (diff)