Summary
- merged
- store exports in session database, with asynchronous / parallel compression;
- tuned signature;
- tuned signature; clarified modules;
- tuned signature;
- protocol message for export of theory resources;
- hexadecimal representation of byte string;
- cleanup session output before starting build job; tuned signature;