Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. store exports in session database, with asynchronous / parallel compression;
  3. tuned signature;
  4. tuned signature; clarified modules;
  5. tuned signature;
  6. protocol message for export of theory resources;
  7. hexadecimal representation of byte string;
  8. cleanup session output before starting build job; tuned signature;
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)