improved performance of session exports via bulk transactions;

tuned signature -- more operations;

more operations;

support Export_Theory.read_proof, based on theory_name and serial;

allow duplicate exports via strict = false;

system option "system_heaps" supersedes various command-line options for "system build mode";
clarified "isabelle jedit" options -n, -s, -u;

clarified 'export_files' in session ROOT: require explicit "isabelle build -e";
tuned messages;

more thorough File.set_executable, notably for Windows;

added executable flag for exports;
clarified signature;

clarified modules;

updated tagging for 9 theories: Cross3, Determinants, Tagged_Division, Change_of_Vars, Extended_Real_Limits, Fashoda, Finite_Cartesian_Product, Function_Topology, Finite_Product_Measure

support pruning of export names;

clarified output (again);

more operations;

clarified output;

tuned;

tuned;

tuned output;

Export.Provider for "isabelle dump" output_dir;

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;