2016-01-24 wenzelm 2016-01-24 more CONTRIBUTORS;
2016-01-24 wenzelm 2016-01-24 tuned;
2016-01-24 wenzelm 2016-01-24 discontinued irregular abbrevs: ".o" counts as word, "+o", "*o", "-o" are occasionally used as ASCII notation, "*o" is in conflict with "(*o" in comments;
2016-01-23 wenzelm 2016-01-23 back to elementary options used in Isabelle2015 for jdk-7 -- none of the intermediate experiments for jdk-8 improved reactivity on particular dual-CPU system, but the problem seems to be absent on common single-CPU systems;
2016-01-23 wenzelm 2016-01-23 empty abbrevs are removed globally;
2016-01-22 wenzelm 2016-01-22 tuned markup, e.g. relevant for Rendering.tooltip;
2016-01-21 wenzelm 2016-01-21 tuned message;
2016-01-21 wenzelm 2016-01-21 more robust initialization: createMenu(_, null) is called early (during EditPane creation), thus it precedes the startup_failure dialog and could crash if PIDE.options are uninitialized;
2016-01-21 wenzelm 2016-01-21 report error on internal channel as well: startup_failure dialog may be too late;
2016-01-21 wenzelm 2016-01-21 clarified errors: more explicit treatment of uninitialized state;
2016-01-20 wenzelm 2016-01-20 check more files;
2016-01-20 wenzelm 2016-01-20 updated header;
2016-02-10 nipkow 2016-02-10 tuned text
2016-02-09 nipkow 2016-02-09 tuned
2016-02-09 nipkow 2016-02-09 synchronized with book
2016-02-09 nipkow 2016-02-09 tuned
2016-02-01 blanchet 2016-02-01 avoid error in Isar proof reconstruction if no ATP proof is available
2016-02-01 blanchet 2016-02-01 preplaying of 'smt' and 'metis' more in sync with actual method
2016-02-01 blanchet 2016-02-01 avoid generating polymorphic SPASS constructs to monomorphic SPASS
2016-01-22 paulson 2016-01-22 Reorganised a huge proof
2016-01-20 wenzelm 2016-01-20 back to post-release mode -- after fork point;
2016-01-20 wenzelm 2016-01-20 merged
2016-01-20 wenzelm 2016-01-20 bypass input method for better imitation of read-only mode (cf. f26a4d5e82b5): e.g. relevant for composition of ALT-u u on Mac OS X;
2016-01-20 wenzelm 2016-01-20 tuned;
2016-01-20 wenzelm 2016-01-20 clarified -- this is available on Mac OS X, too;
2016-01-20 wenzelm 2016-01-20 updated jdk;
2016-01-20 wenzelm 2016-01-20 tuned signature (according to Scala version);
2016-01-20 blanchet 2016-01-20 fixed NEWS w.r.t. multisets
2016-01-20 blanchet 2016-01-20 added 'supset' variants for new '<#' etc. symbols on multisets
2016-01-20 immler 2016-01-20 added lemma
2016-01-20 wenzelm 2016-01-20 tuned;
2016-01-19 wenzelm 2016-01-19 tuned;
2016-01-19 nipkow 2016-01-19 tuned
2016-01-19 nipkow 2016-01-19 merged
2016-01-19 nipkow 2016-01-19 added lemma
2016-01-19 Manuel Eberl 2016-01-19 Added approximation of powr to NEWS/CONTRIBUTORS
2016-01-19 Manuel Eberl 2016-01-19 Made Approximation work for powr again
2016-01-18 wenzelm 2016-01-18 updated polyml;
2016-01-18 wenzelm 2016-01-18 tuned whitespace;
2016-01-18 wenzelm 2016-01-18 updated mirrors according to website;
2016-01-17 nipkow 2016-01-17 renamed map_of to lookup
2016-01-17 wenzelm 2016-01-17 more method definitions;
2016-01-16 wenzelm 2016-01-16 tuned syntax;
2016-01-16 wenzelm 2016-01-16 tuned;
2016-01-16 wenzelm 2016-01-16 misc tuning and modernization;
2016-01-16 wenzelm 2016-01-16 keep src/Doc;
2016-01-16 wenzelm 2016-01-16 tuned URLs according to website;
2016-01-16 wenzelm 2016-01-16 more symbols;
2016-01-16 wenzelm 2016-01-16 tuned message;
2016-01-16 wenzelm 2016-01-16 tuned message;
2016-01-15 wenzelm 2016-01-15 Added tag Isabelle2016-RC1 for changeset 155d30f721dd
2016-01-15 wenzelm 2016-01-15 misc updates and tuning; more on "Output" versus "Proof state";
2016-01-15 wenzelm 2016-01-15 misc updates and tuning;
2016-01-15 wenzelm 2016-01-15 misc updates and tuning;
2016-01-15 immler 2016-01-15 continuity of parameterized integral; easier-to-apply formulation of rules
2016-01-14 wenzelm 2016-01-14 tuned;
2016-01-14 wenzelm 2016-01-14 tuned;
2016-01-14 wenzelm 2016-01-14 tuned;
2016-01-14 wenzelm 2016-01-14 made SML/NJ happy;
2016-01-13 wenzelm 2016-01-13 removed dead code;