src/Pure/Thy/export.scala
6 months ago wenzelm 2018-05-17 clarified signature;
6 months ago wenzelm 2018-05-13 export foundational theory content in Scala;
6 months ago wenzelm 2018-05-13 clarified implicit compression;
6 months ago wenzelm 2018-05-13 tuned -- use XZ.Cache;
6 months ago wenzelm 2018-05-11 tuned;
6 months ago wenzelm 2018-05-08 command-line tool "isabelle export"; more documentation; tuned;
6 months ago wenzelm 2018-05-08 more efficient query;
6 months ago wenzelm 2018-05-07 tuned;
6 months ago wenzelm 2018-05-07 more robust (synchronous) management of Export.Entry: Future.fork happens inside the data structure; tuned;
6 months ago wenzelm 2018-05-07 clarified signature; avoid pointless compression;
6 months ago wenzelm 2018-05-07 store exports within PIDE command state; Markup.Export.unapply: proper NAME;
6 months ago wenzelm 2018-05-06 store exports in session database, with asynchronous / parallel compression;