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