5 weeks ago haftmann 2019-03-14 proper theory for type of dual ordered lattice in distribution
5 weeks ago haftmann 2019-03-14 slightly more complete check of code generation for immutable arrays
5 weeks ago haftmann 2019-03-13 CONTRIBUTORS
5 weeks ago haftmann 2019-03-10 migrated from Nums to Zarith as library for OCaml integer arithmetic
5 weeks ago haftmann 2019-03-10 dropped superfluous declaration attribute
5 weeks ago wenzelm 2019-03-13 more sanity checks;
5 weeks ago wenzelm 2019-03-12 updated to polyml-5.8 (official release);
5 weeks ago wenzelm 2019-03-11 URIs should normally be "rdf:resource", not string body;
5 weeks ago wenzelm 2019-03-11 clarified signature;
5 weeks ago wenzelm 2019-03-11 support for document meta data in PIDE and RDF;
5 weeks ago wenzelm 2019-03-11 tuned signature;
5 weeks ago wenzelm 2019-03-11 tuned signature;
5 weeks ago wenzelm 2019-03-11 tuned signature;
5 weeks ago wenzelm 2019-03-11 tuned signature;
5 weeks ago wenzelm 2019-03-10 more formal contributors (with the help of the history);
5 weeks ago wenzelm 2019-03-10 proper data columns for plots;
5 weeks ago wenzelm 2019-03-10 merged
5 weeks ago wenzelm 2019-03-10 tuned -- Toplevel.presentation_context is total;
5 weeks ago wenzelm 2019-03-10 document markers are formal comments, and may thus occur anywhere in the command-span; clarified Outer_Syntax.parse_span, Outer_Syntax.parse_text wrt. span structure; tuned signature;
5 weeks ago wenzelm 2019-03-10 PIDE markup for spell-checking;
5 weeks ago wenzelm 2019-03-10 markup and document markers for some meta data from "Dublin Core Metadata Element Set";
5 weeks ago wenzelm 2019-03-10 tuned;
5 weeks ago wenzelm 2019-03-10 added semantic document markers; emulate old-style tags as "tag" markers, with subtle change of semantics for multiples tags (ever used?); tuned;
5 weeks ago wenzelm 2019-03-09 clarified signature;
5 weeks ago wenzelm 2019-03-09 added glyph for \<marker>;
5 weeks ago wenzelm 2019-03-09 tuned proof;
5 weeks ago wenzelm 2019-03-09 clarified Toplevel.state: more explicit types; presentation context is always present, with default to Pure.thy and fall-back to Pure bootstrap theory;
5 weeks ago wenzelm 2019-03-09 tuned;
5 weeks ago paulson 2019-03-10 merged
5 weeks ago paulson 2019-03-10 tidied up HOL/ex/Primrec
5 weeks ago haftmann 2019-03-08 proper code_simp setup for literals
5 weeks ago wenzelm 2019-03-08 tuned -- more explicit type node_presentation;
5 weeks ago wenzelm 2019-03-08 tuned signature;
5 weeks ago wenzelm 2019-03-08 clarified modules; uniform "tag" parser;
6 weeks ago paulson 2019-03-07 renamed the constant "limit" as it is too "generic"
6 weeks ago paulson 2019-03-07 new material for Analysis
6 weeks ago wenzelm 2019-03-06 proper option (amending cc0b3e177b49);
6 weeks ago wenzelm 2019-03-06 removed junk;
6 weeks ago wenzelm 2019-03-06 updated to polyml-5.8-20190306;
6 weeks ago wenzelm 2019-03-06 afford redundant whitespace for improved readability;
6 weeks ago wenzelm 2019-03-05 tuned signature;
6 weeks ago wenzelm 2019-03-05 recover original order;
6 weeks ago wenzelm 2019-03-05 tuned;
6 weeks ago wenzelm 2019-03-05 misc tuning and modernization;
6 weeks ago wenzelm 2019-03-05 merged
6 weeks ago wenzelm 2019-03-05 clarified signature;
6 weeks ago wenzelm 2019-03-05 clarified signature: more general types;
6 weeks ago wenzelm 2019-03-05 afford redundant whitespace for improved readability;
6 weeks ago haftmann 2019-03-05 avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default
6 weeks ago wenzelm 2019-03-03 tuned signature;
6 weeks ago wenzelm 2019-03-03 clarified signature -- allow more re-use;
6 weeks ago wenzelm 2019-03-03 concrete predicates from "Dublin Core";
6 weeks ago wenzelm 2019-03-03 clarified signature; suppress already loaded theories;
6 weeks ago wenzelm 2019-03-03 tuned signature;
6 weeks ago wenzelm 2019-03-03 tuned document;
6 weeks ago wenzelm 2019-03-01 system option "system_heaps" supersedes various command-line options for "system build mode"; clarified "isabelle jedit" options -n, -s, -u;
6 weeks ago wenzelm 2019-03-01 more uniform session_system_mode (see also e57416b649d5);
6 weeks ago wenzelm 2019-03-01 more implicit reload, similar to VSCode;
6 weeks ago wenzelm 2019-03-01 clarified signature; more thorough end_pos;
6 weeks ago wenzelm 2019-02-28 tuned proofs -- eliminated odd case_tac;