src/Pure/Thy/export.scala
10 months ago wenzelm 2018-09-07 tuned;
10 months ago wenzelm 2018-08-28 tuned output;
10 months ago wenzelm 2018-08-28 Export.Provider for "isabelle dump" output_dir;
13 months ago wenzelm 2018-06-11 more abstract Export.Provider;
13 months ago wenzelm 2018-05-30 clarified outermost progress.interrupt_handler;
14 months ago wenzelm 2018-05-29 clarified option -O: avoid conflict with build/dump option -D;
14 months ago wenzelm 2018-05-28 clarified signature;
14 months ago wenzelm 2018-05-26 clarified output;
14 months ago wenzelm 2018-05-26 support multiple patterns;
14 months ago wenzelm 2018-05-26 clarified cache;
14 months ago wenzelm 2018-05-26 tuned signature;
14 months ago wenzelm 2018-05-19 tuned queries;
14 months ago wenzelm 2018-05-19 support for build_database_server (PostgreSQL); clarified signature;
14 months ago wenzelm 2018-05-18 tuned signature;
14 months ago wenzelm 2018-05-18 support Store with options;
14 months ago wenzelm 2018-05-17 tuned signature;
14 months ago wenzelm 2018-05-17 clarified signature;
14 months ago wenzelm 2018-05-13 export foundational theory content in Scala;
14 months ago wenzelm 2018-05-13 clarified implicit compression;
14 months ago wenzelm 2018-05-13 tuned -- use XZ.Cache;
14 months ago wenzelm 2018-05-11 tuned;
14 months ago wenzelm 2018-05-08 command-line tool "isabelle export"; more documentation; tuned;
14 months ago wenzelm 2018-05-08 more efficient query;
14 months ago wenzelm 2018-05-07 tuned;
14 months ago wenzelm 2018-05-07 more robust (synchronous) management of Export.Entry: Future.fork happens inside the data structure; tuned;
14 months ago wenzelm 2018-05-07 clarified signature; avoid pointless compression;
14 months ago wenzelm 2018-05-07 store exports within PIDE command state; Markup.Export.unapply: proper NAME;
14 months ago wenzelm 2018-05-06 store exports in session database, with asynchronous / parallel compression;