6 weeks ago paulson 2019-03-10 merged
6 weeks ago paulson 2019-03-10 tidied up HOL/ex/Primrec
6 weeks ago haftmann 2019-03-08 proper code_simp setup for literals
6 weeks ago wenzelm 2019-03-08 tuned -- more explicit type node_presentation;
6 weeks ago wenzelm 2019-03-08 tuned signature;
6 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;
7 weeks ago wenzelm 2019-03-05 merged
7 weeks ago wenzelm 2019-03-05 clarified signature;
7 weeks ago wenzelm 2019-03-05 clarified signature: more general types;
7 weeks ago wenzelm 2019-03-05 afford redundant whitespace for improved readability;
7 weeks ago haftmann 2019-03-05 avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default
7 weeks ago wenzelm 2019-03-03 tuned signature;
7 weeks ago wenzelm 2019-03-03 clarified signature -- allow more re-use;
7 weeks ago wenzelm 2019-03-03 concrete predicates from "Dublin Core";
7 weeks ago wenzelm 2019-03-03 clarified signature; suppress already loaded theories;
7 weeks ago wenzelm 2019-03-03 tuned signature;
7 weeks ago wenzelm 2019-03-03 tuned document;
7 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;
7 weeks ago wenzelm 2019-03-01 more uniform session_system_mode (see also e57416b649d5);
7 weeks ago wenzelm 2019-03-01 more implicit reload, similar to VSCode;
7 weeks ago wenzelm 2019-03-01 clarified signature; more thorough end_pos;
7 weeks ago wenzelm 2019-02-28 tuned proofs -- eliminated odd case_tac;
7 weeks ago wenzelm 2019-02-28 more scalable on 32-bit Poly/ML;
7 weeks ago wenzelm 2019-02-28 tuned;
7 weeks ago wenzelm 2019-02-27 more line spacing, notably for ttfautohint (see 4791988fcbc4);
7 weeks ago wenzelm 2019-02-27 more compact representation: approx. factor 2;
7 weeks ago wenzelm 2019-02-27 more scalable on 32-bit Poly/ML;
7 weeks ago wenzelm 2019-02-27 clarified quasi_consolidated status after 5f160df596c1 -- relevant for headless PIDE session (e.g. "isabelle dump");
7 weeks ago wenzelm 2019-02-27 tuned;
8 weeks ago wenzelm 2019-02-25 tuned;
8 weeks ago wenzelm 2019-02-24 clarified signature, notably for hol4isabelle (by Fabian Immler);
8 weeks ago wenzelm 2019-02-24 updated to jedit_build-20190224 (new patches: favorites, glyphvector);
8 weeks ago wenzelm 2019-02-24 fallback on createGlyphVector for multi-character glyphs (e.g. 0x01d49c), as seen in Java 11;
8 weeks ago wenzelm 2019-02-24 formal update of patches -- no change of content;
8 weeks ago wenzelm 2019-02-24 removed junk;
8 weeks ago immler 2019-02-23 merged
8 weeks ago immler 2019-02-23 bundles for floatarith notation
8 weeks ago wenzelm 2019-02-23 merged
8 weeks ago wenzelm 2019-02-23 tuned output;
8 weeks ago wenzelm 2019-02-23 more memory fields;
8 weeks ago wenzelm 2019-02-23 obsolete;
8 weeks ago immler 2019-02-23 no more shadowing of Min and Max by Approximation
2 months ago haftmann 2019-02-21 streamlined specification interfaces
2 months ago haftmann 2019-02-21 sligthly more interpunctation and qualification
2 months ago haftmann 2019-02-21 tuned whitespace
2 months ago wenzelm 2019-02-20 physical vs. logical events, the latter takes GC time into account; Timeout.apply is based on logical ML time;
2 months ago wenzelm 2019-02-20 misc tuning and clarification;
2 months ago wenzelm 2019-02-20 misc tuning and clarification;
2 months ago wenzelm 2019-02-20 tuned;
2 months ago wenzelm 2019-02-20 updated to polyml-5.8-20190220 (pre-release of Poly/ML 5.8);