13 months ago wenzelm 2018-05-11 clarified output: avoid costly operations on huge blobs;
13 months ago wenzelm 2018-05-11 unused;
13 months ago wenzelm 2018-05-11 more scalable -- avoid huge lines within stdout;
13 months ago wenzelm 2018-05-11 slightly more ambitious parallelism (again);
13 months ago wenzelm 2018-05-11 more scalable API;
13 months ago wenzelm 2018-05-11 proper heading;
13 months ago wenzelm 2018-05-11 removed unused Java FX modules (it will be unbundled from JDK eventually);
13 months ago paulson 2018-05-10 tidied some messy proofs
13 months ago nipkow 2018-05-10 merged
13 months ago nipkow 2018-05-10 more lemmas
13 months ago nipkow 2018-05-10 merged
13 months ago nipkow 2018-05-10 simpler types
13 months ago paulson 2018-05-10 auto-tidying
13 months ago paulson 2018-05-10 merged
13 months ago paulson 2018-05-10 more on infinite products
13 months ago paulson 2018-05-09 merged
13 months ago paulson 2018-05-09 part tidy-up of Determinants
13 months ago wenzelm 2018-05-09 less ambitious parallelism, notably for threads=2;
13 months ago wenzelm 2018-05-09 more informative error, notably for missing executable;
13 months ago wenzelm 2018-05-09 tuned signature;
13 months ago wenzelm 2018-05-09 clarified future scheduling parameters, with support for parallel_limit;
13 months ago wenzelm 2018-05-09 record total number of tasks;
13 months ago paulson 2018-05-09 merged
13 months ago paulson 2018-05-09 more infinite product theorems
13 months ago wenzelm 2018-05-09 proper merge of items without term index (amending b969263fcf02);
13 months ago nipkow 2018-05-09 announce sorted changes
13 months ago paulson 2018-05-08 merged
13 months ago paulson 2018-05-08 one tiny fix
13 months ago paulson 2018-05-08 merged
13 months ago paulson 2018-05-08 merged
13 months ago paulson 2018-05-08 tidying more messy proofs
13 months ago nipkow 2018-05-08 merged
13 months ago nipkow 2018-05-08 more efficient code
13 months ago wenzelm 2018-05-08 merged
13 months ago wenzelm 2018-05-08 command-line tool "isabelle export"; more documentation; tuned;
13 months ago wenzelm 2018-05-08 more efficient query;
13 months ago wenzelm 2018-05-08 more robust: self-export only;
13 months ago wenzelm 2018-05-08 tuned signature;
13 months ago nipkow 2018-05-08 merged
13 months ago nipkow 2018-05-08 more "sorted" changes
13 months ago nipkow 2018-05-08 more "sorted" changes
13 months ago nipkow 2018-05-08 new def of sorted and sorted_wrt
13 months ago wenzelm 2018-05-07 more operations;
13 months ago wenzelm 2018-05-07 merged
13 months ago wenzelm 2018-05-07 return exports as result for Isabelle server;
13 months ago wenzelm 2018-05-07 more checks;
13 months ago wenzelm 2018-05-07 tuned;
13 months ago wenzelm 2018-05-07 more robust (synchronous) management of Export.Entry: Future.fork happens inside the data structure; tuned;
13 months ago wenzelm 2018-05-07 clarified signature; avoid pointless compression;
13 months ago wenzelm 2018-05-07 store exports within PIDE command state; Markup.Export.unapply: proper NAME;
13 months ago haftmann 2018-05-06 removed some lemma duplicates
13 months ago haftmann 2018-05-06 typo
13 months ago haftmann 2018-05-06 more appropriate notion of emptiness
13 months ago paulson 2018-05-06 merged
13 months ago paulson 2018-05-06 more tidying
13 months ago paulson 2018-05-06 starting to tidy up Interval_Integral.thy
13 months ago wenzelm 2018-05-06 more operations;
13 months ago wenzelm 2018-05-06 merged
13 months ago wenzelm 2018-05-06 store exports in session database, with asynchronous / parallel compression;
13 months ago wenzelm 2018-05-06 tuned signature;