more abstract Export.Provider;

clarified outermost progress.interrupt_handler;

clarified option -O: avoid conflict with build/dump option -D;

clarified signature;

clarified output;

support multiple patterns;

clarified cache;

tuned signature;

tuned queries;

support for build_database_server (PostgreSQL);
clarified signature;

tuned signature;

support Store with options;

tuned signature;

clarified signature;

export foundational theory content in Scala;

clarified implicit compression;

tuned -- use XZ.Cache;

tuned;

command-line tool "isabelle export";
more documentation;
tuned;

more efficient query;

tuned;

more robust (synchronous) management of Export.Entry: Future.fork happens inside the data structure;
tuned;

clarified signature;
avoid pointless compression;

store exports within PIDE command state;
Markup.Export.unapply: proper NAME;

store exports in session database, with asynchronous / parallel compression;