Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. improved performance of session exports via bulk transactions;
  2. tuned signature;
  3. support for bulk operations: consume mailbox content in batches;
  4. clarified signature -- more explicit types;
  5. tuned signature -- more operations;
Changeset 71145:2f782d5f5d5a by wenzelm:
improved performance of session exports via bulk transactions;
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 71144:d6b9dead8c8d by wenzelm:
tuned signature;
The file was modified src/Pure/Concurrent/consumer_thread.scala (diff)
The file was modified src/Pure/Concurrent/mailbox.scala (diff)
Changeset 71143:5ea3ed3c52b3 by wenzelm:
support for bulk operations: consume mailbox content in batches;
The file was modified src/Pure/Concurrent/consumer_thread.scala (diff)
Changeset 71142:d6688677a784 by wenzelm:
clarified signature -- more explicit types;
The file was modified src/Pure/Concurrent/consumer_thread.scala (diff)
The file was modified src/Pure/General/exn.scala (diff)
Changeset 71141:b1c555d3cd71 by wenzelm:
tuned signature -- more operations;
The file was modified src/Pure/Thy/export.scala (diff)