12 months ago wenzelm 2018-06-29 VSCode extension for official Isabelle release;
12 months ago wenzelm 2018-06-29 misc tuning and updates for release;
12 months ago wenzelm 2018-06-29 more manual tests;
12 months ago wenzelm 2018-06-29 misc tuning for release;
12 months ago wenzelm 2018-06-29 clarified error;
12 months ago wenzelm 2018-06-29 command-line option for include_sessions;
12 months ago wenzelm 2018-06-29 disallow pending hyps; disallow pending shyps, with option to override the check; tuned message;
12 months ago wenzelm 2018-06-29 disallow hyps in export; handle extra shyps as explicit sort constraints;
12 months ago wenzelm 2018-06-29 always consolidate: allow errors in presentation;
12 months ago wenzelm 2018-06-29 proper build_heap;
12 months ago wenzelm 2018-06-28 avoid pending shyps in global theory facts;
12 months ago paulson 2018-06-29 The unwinding number is an integer.
12 months ago paulson 2018-06-29 Now based on Complex_Main, not HOL.Deriv
12 months ago paulson 2018-06-29 merged
12 months ago paulson 2018-06-28 Incorporating new/strengthened proofs from Library and AFP entries
12 months ago Wenda Li 2018-06-29 NEWS and CONTRIBUTORS
12 months ago Lars Hupel 2018-06-29 remove trailing commas
12 months ago nipkow 2018-06-28 added lemmas
12 months ago paulson 2018-06-28 merged
12 months ago paulson 2018-06-28 Generalising and renaming some basic results
12 months ago immler 2018-06-28 transfer more lemmas
12 months ago immler 2018-06-28 fixed some oversights
12 months ago immler 2018-06-28 avoid duplicate facts, the "trick" was copied without deeper motivation
12 months ago wenzelm 2018-06-27 clarified settings -- avoid hard-wired directories; tuned documentation;
12 months ago immler 2018-06-27 example for Types_To_Sets: transfer from type-based linear algebra to subspaces
12 months ago immler 2018-06-27 added lemmas and transfer rules
13 months ago wenzelm 2018-06-26 merged
13 months ago wenzelm 2018-06-26 smart_implode "$AFP" as well;
13 months ago paulson 2018-06-26 merged
13 months ago paulson 2018-06-26 a few new lemmas
13 months ago nipkow 2018-06-26 new theory Trie
13 months ago wenzelm 2018-06-26 merged
13 months ago wenzelm 2018-06-26 tuned;
13 months ago wenzelm 2018-06-26 updated documentation;
13 months ago wenzelm 2018-06-26 clarified syntax;
13 months ago wenzelm 2018-06-26 tuned signature;
13 months ago wenzelm 2018-06-26 simplified: allow only command names, with dummy for default;
13 months ago wenzelm 2018-06-26 clarified: more uniform keyword_tags;
13 months ago wenzelm 2018-06-26 tuned;
13 months ago wenzelm 2018-06-26 more flexible document_tags;
13 months ago wenzelm 2018-06-26 prefer explicit options; tuned;
13 months ago wenzelm 2018-06-26 clarified default tag;
13 months ago wenzelm 2018-06-26 add URL;
13 months ago wenzelm 2018-06-26 tuned;
13 months ago kleing 2018-06-26 more explicit statement of rat_denum to fit with top100 thms list
13 months ago paulson 2018-06-26 deleted redundant theorem
13 months ago paulson 2018-06-26 merged
13 months ago paulson 2018-06-26 Rationalisation of complex transcendentals, esp the Arg function
13 months ago Lars Hupel 2018-06-26 support NUMA shuffling in CI
13 months ago wenzelm 2018-06-26 merged
13 months ago wenzelm 2018-06-25 more scalable output;
13 months ago Lars Hupel 2018-06-25 obsolete
13 months ago paulson 2018-06-25 merged
13 months ago paulson 2018-06-25 Renaming Arg -> Arg2pi
13 months ago nipkow 2018-06-25 added lemmas; uniform names
13 months ago wenzelm 2018-06-24 disable export_document by default (presently unused and for demo/testing purposes): avoid spurious IO exception in highly parallel environment;
13 months ago wenzelm 2018-06-24 simplified ZF theory names (in contrast to 6a0801279f4c): session-qualification already achieves disjointness;
13 months ago paulson 2018-06-24 merged
13 months ago paulson 2018-06-24 more modernisaton and de-applying
13 months ago wenzelm 2018-06-23 tuned;