13 months ago wenzelm 2018-05-14 support for dynamic document output while editing;
13 months ago wenzelm 2018-05-14 adjust position according to offset of command/exec id;
13 months ago wenzelm 2018-05-14 tuned signature (see Command.eval_state);
13 months ago wenzelm 2018-05-14 export generated document.tex, unless explicit document=false;
13 months ago wenzelm 2018-05-14 more general presentation hook, with document preparation as application;
13 months ago wenzelm 2018-05-14 clarified signature: more explicit type "context" with full options;
13 months ago wenzelm 2018-05-14 more explicit type Thy_Output.segment;
13 months ago wenzelm 2018-05-14 clarified signature; more operations;
13 months ago nipkow 2018-05-14 more sorted cleaning
13 months ago nipkow 2018-05-14 cleaning up sorted
13 months ago wenzelm 2018-05-13 merged
13 months ago wenzelm 2018-05-13 more uniform types vs. consts;
13 months ago wenzelm 2018-05-13 more concise information;
13 months ago wenzelm 2018-05-13 export foundational theory content in Scala;
13 months ago wenzelm 2018-05-13 clarified markup;
13 months ago wenzelm 2018-05-13 tuned signature;
13 months ago wenzelm 2018-05-13 tuned -- use XZ.Cache;
13 months ago wenzelm 2018-05-13 clarified implicit compression;
13 months ago wenzelm 2018-05-13 tuned -- use XZ.Cache;
13 months ago wenzelm 2018-05-13 more exports; misc tuning and clarification;
13 months ago wenzelm 2018-05-13 tuned;
13 months ago wenzelm 2018-05-13 more operations;
13 months ago nipkow 2018-05-13 tuned
13 months ago nipkow 2018-05-13 tuned
13 months ago nipkow 2018-05-13 mv lemma
13 months ago nipkow 2018-05-13 removed unused lemma
13 months ago nipkow 2018-05-13 tuned
13 months ago haftmann 2018-05-12 removed some non-essential rules
13 months ago nipkow 2018-05-12 added lemmas
13 months ago Andreas Lochbihler 2018-05-12 new tool Code_Lazy
13 months ago wenzelm 2018-05-11 some export of foundational theory content;
13 months ago wenzelm 2018-05-11 support for general theory presentation;
13 months ago wenzelm 2018-05-11 guard result exports via export_pattern -- avoid bombing client via huge blobs;
13 months ago wenzelm 2018-05-11 tuned;
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