4 months ago wenzelm 2018-05-17 clarified signature;
4 months ago wenzelm 2018-05-17 misc tuning and clarification;
4 months ago Andreas Lochbihler 2018-05-17 NEWS and CONTRIBUTORS for 8b50f29a1992
4 months ago wenzelm 2018-05-16 proper PIDE positions;
4 months ago wenzelm 2018-05-16 avoid race condition wrt. ISABELLE_TMP, which is removed in Bash.cleanup() before Bash.result(progress_stdout);
4 months ago wenzelm 2018-05-16 clarified "consolidation" vs. "presentation";
4 months ago wenzelm 2018-05-16 tuned signature;
4 months ago wenzelm 2018-05-16 merged
4 months ago wenzelm 2018-05-16 tuned;
4 months ago wenzelm 2018-05-16 more thorough checks for theory name consistency (for extend, not just merge);
4 months ago wenzelm 2018-05-15 more uniform output (cf. 450cefec7c11);
4 months ago nipkow 2018-05-15 removed duplicates
4 months ago nipkow 2018-05-15 added lemmas
4 months ago wenzelm 2018-05-15 tuned headers;
4 months ago immler 2018-05-15 move FuncSet back to HOL-Library (amending 493b818e8e10)
4 months ago nipkow 2018-05-15 merged
4 months ago nipkow 2018-05-14 cleaning up sorted
4 months ago wenzelm 2018-05-14 merged
4 months ago wenzelm 2018-05-14 support for dynamic document output while editing;
4 months ago wenzelm 2018-05-14 adjust position according to offset of command/exec id;
4 months ago wenzelm 2018-05-14 tuned signature (see Command.eval_state);
4 months ago wenzelm 2018-05-14 export generated document.tex, unless explicit document=false;
4 months ago wenzelm 2018-05-14 more general presentation hook, with document preparation as application;
4 months ago wenzelm 2018-05-14 clarified signature: more explicit type "context" with full options;
4 months ago wenzelm 2018-05-14 more explicit type Thy_Output.segment;
4 months ago wenzelm 2018-05-14 clarified signature; more operations;
4 months ago nipkow 2018-05-14 more sorted cleaning
4 months ago nipkow 2018-05-14 cleaning up sorted
4 months ago wenzelm 2018-05-13 merged
4 months ago wenzelm 2018-05-13 more uniform types vs. consts;
4 months ago wenzelm 2018-05-13 more concise information;
4 months ago wenzelm 2018-05-13 export foundational theory content in Scala;
4 months ago wenzelm 2018-05-13 clarified markup;
4 months ago wenzelm 2018-05-13 tuned signature;
4 months ago wenzelm 2018-05-13 tuned -- use XZ.Cache;
4 months ago wenzelm 2018-05-13 clarified implicit compression;
4 months ago wenzelm 2018-05-13 tuned -- use XZ.Cache;
4 months ago wenzelm 2018-05-13 more exports; misc tuning and clarification;
4 months ago wenzelm 2018-05-13 tuned;
4 months ago wenzelm 2018-05-13 more operations;
4 months ago nipkow 2018-05-13 tuned
4 months ago nipkow 2018-05-13 tuned
4 months ago nipkow 2018-05-13 mv lemma
4 months ago nipkow 2018-05-13 removed unused lemma
4 months ago nipkow 2018-05-13 tuned
4 months ago haftmann 2018-05-12 removed some non-essential rules
4 months ago nipkow 2018-05-12 added lemmas
4 months ago Andreas Lochbihler 2018-05-12 new tool Code_Lazy
4 months ago wenzelm 2018-05-11 some export of foundational theory content;
4 months ago wenzelm 2018-05-11 support for general theory presentation;
4 months ago wenzelm 2018-05-11 guard result exports via export_pattern -- avoid bombing client via huge blobs;
4 months ago wenzelm 2018-05-11 tuned;
4 months ago wenzelm 2018-05-11 clarified output: avoid costly operations on huge blobs;
4 months ago wenzelm 2018-05-11 unused;
4 months ago wenzelm 2018-05-11 more scalable -- avoid huge lines within stdout;
4 months ago wenzelm 2018-05-11 slightly more ambitious parallelism (again);
4 months ago wenzelm 2018-05-11 more scalable API;
4 months ago wenzelm 2018-05-11 proper heading;
4 months ago wenzelm 2018-05-11 removed unused Java FX modules (it will be unbundled from JDK eventually);
4 months ago paulson 2018-05-10 tidied some messy proofs