3 months ago ago haftmann proper theory for type of dual ordered lattice in distribution
3 months ago ago haftmann slightly more complete check of code generation for immutable arrays
3 months ago ago haftmann CONTRIBUTORS
3 months ago ago haftmann migrated from Nums to Zarith as library for OCaml integer arithmetic
3 months ago ago haftmann dropped superfluous declaration attribute
3 months ago ago wenzelm more sanity checks;
3 months ago ago wenzelm updated to polyml-5.8 (official release);
3 months ago ago wenzelm URIs should normally be "rdf:resource", not string body;
3 months ago ago wenzelm clarified signature;
3 months ago ago wenzelm support for document meta data in PIDE and RDF;
3 months ago ago wenzelm tuned signature;
3 months ago ago wenzelm tuned signature;
3 months ago ago wenzelm tuned signature;
3 months ago ago wenzelm tuned signature;
3 months ago ago wenzelm more formal contributors (with the help of the history);
3 months ago ago wenzelm proper data columns for plots;
3 months ago ago wenzelm merged
3 months ago ago wenzelm tuned -- Toplevel.presentation_context is total;
3 months ago ago wenzelm document markers are formal comments, and may thus occur anywhere in the command-span;
3 months ago ago wenzelm PIDE markup for spell-checking;
3 months ago ago wenzelm markup and document markers for some meta data from "Dublin Core Metadata Element Set";
3 months ago ago wenzelm tuned;
3 months ago ago wenzelm added semantic document markers;
3 months ago ago wenzelm clarified signature;
3 months ago ago wenzelm added glyph for \<marker>;
3 months ago ago wenzelm tuned proof;
3 months ago ago wenzelm clarified Toplevel.state: more explicit types;
3 months ago ago wenzelm tuned;
3 months ago ago paulson merged
3 months ago ago paulson tidied up HOL/ex/Primrec
3 months ago ago haftmann proper code_simp setup for literals
3 months ago ago wenzelm tuned -- more explicit type node_presentation;
3 months ago ago wenzelm tuned signature;
3 months ago ago wenzelm clarified modules;
3 months ago ago paulson renamed the constant "limit" as it is too "generic"
3 months ago ago paulson new material for Analysis
3 months ago ago wenzelm proper option (amending cc0b3e177b49);
3 months ago ago wenzelm removed junk;
3 months ago ago wenzelm updated to polyml-5.8-20190306;
3 months ago ago wenzelm afford redundant whitespace for improved readability;
3 months ago ago wenzelm tuned signature;
3 months ago ago wenzelm recover original order;
3 months ago ago wenzelm tuned;
3 months ago ago wenzelm misc tuning and modernization;
3 months ago ago wenzelm merged
3 months ago ago wenzelm clarified signature;
3 months ago ago wenzelm clarified signature: more general types;
3 months ago ago wenzelm afford redundant whitespace for improved readability;
3 months ago ago haftmann avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default
3 months ago ago wenzelm tuned signature;
3 months ago ago wenzelm clarified signature -- allow more re-use;
3 months ago ago wenzelm concrete predicates from "Dublin Core";
3 months ago ago wenzelm clarified signature;
3 months ago ago wenzelm tuned signature;
3 months ago ago wenzelm tuned document;
3 months ago ago wenzelm system option "system_heaps" supersedes various command-line options for "system build mode";
3 months ago ago wenzelm more uniform session_system_mode (see also e57416b649d5);
3 months ago ago wenzelm more implicit reload, similar to VSCode;
3 months ago ago wenzelm clarified signature;
3 months ago ago wenzelm tuned proofs -- eliminated odd case_tac;