NEWS
2016-02-17 blanchet 2016-02-17 making 'pred_inject' a first-class BNF citizen
2016-02-17 traytel 2016-02-17 NEWS
2016-02-17 blanchet 2016-02-17 document new 'primrec' feature
2016-02-14 wenzelm 2016-02-14 command '\<proof>' is an alias for 'sorry', with different typesetting;
2016-02-12 wenzelm 2016-02-12 merged
2016-02-01 wenzelm 2016-02-01 tuned NEWS: long-running tasks can still prevent urgent tasks from being started, due to start_execution pri = 0;
2016-01-31 wenzelm 2016-01-31 more on "ML debugging within the Prover IDE";
2016-01-24 wenzelm 2016-01-24 proper NEWS for this release;
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-22 wenzelm 2016-01-22 tuned markup, e.g. relevant for Rendering.tooltip;
2016-01-20 wenzelm 2016-01-20 back to post-release mode -- after fork point;
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-19 wenzelm 2016-01-19 tuned;
2016-01-19 Manuel Eberl 2016-01-19 Added approximation of powr to NEWS/CONTRIBUTORS
2016-01-13 wenzelm 2016-01-13 removed old 'defs' command;
2016-01-13 wenzelm 2016-01-13 Eisbach works for other object-logics, e.g. Eisbach_FOL.thy;
2016-01-13 wenzelm 2016-01-13 tuned;
2016-01-13 blanchet 2016-01-13 updated NEWS
2016-01-13 wenzelm 2016-01-13 more good NEWS;
2016-01-10 kleing 2016-01-10 print_record NEWS and CONTRIBUTORS
2016-01-09 wenzelm 2016-01-09 generate HTML version of NEWS, with proper symbol rendering;
2016-01-09 wenzelm 2016-01-09 merged
2016-01-09 wenzelm 2016-01-09 tuned;
2016-01-09 wenzelm 2016-01-09 \<struct> loses its rendering and is superseded by \<diamondop>; tuned;
2016-01-09 wenzelm 2016-01-09 discontinued \<struct> syntax;
2016-01-08 hoelzl 2016-01-08 add uniform spaces
2016-01-08 wenzelm 2016-01-08 tuned;
2016-01-08 wenzelm 2016-01-08 merged
2016-01-07 wenzelm 2016-01-07 more uniform treatment of package internals;
2016-01-07 Manuel Eberl 2016-01-07 Added formal power series updates to NEWS/CONTRIBUTORS
2016-01-06 wenzelm 2016-01-06 misc tuning for release;
2016-01-06 hoelzl 2016-01-06 add the proof of the central limit theorem
2016-01-06 blanchet 2016-01-06 updated NEWS
2016-01-06 wenzelm 2016-01-06 added ML antiquotation @{method};
2016-01-05 wenzelm 2016-01-05 misc tuning for release;
2016-01-05 eberlm 2016-01-05 Added summability/Gamma/etc. to NEWS and CONTRIBUTORS
2016-01-02 wenzelm 2016-01-02 NEWS;
2016-01-01 wenzelm 2016-01-01 oops;
2016-01-01 wenzelm 2016-01-01 tuned;
2016-01-01 wenzelm 2016-01-01 more symbols;
2015-12-31 wenzelm 2015-12-31 misc tuning for release;
2015-12-31 wenzelm 2015-12-31 misc updates for release;
2015-12-31 wenzelm 2015-12-31 documentation for "isabelle jedit_client";
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-30 wenzelm 2015-12-30 more symbols;
2015-12-29 wenzelm 2015-12-29 more symbols;
2015-12-29 wenzelm 2015-12-29 more symbols;
2015-12-29 wenzelm 2015-12-29 more symbols;
2015-12-29 wenzelm 2015-12-29 more arrow symbols;
2015-12-29 wenzelm 2015-12-29 more arrow symbols;
2015-12-29 wenzelm 2015-12-29 support additional abbrevs;
2015-12-29 wenzelm 2015-12-29 isabelle console: print mode "ASCII";
2015-12-28 wenzelm 2015-12-28 former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
2015-12-27 wenzelm 2015-12-27 discontinued ASCII replacement syntax <*>;
2015-12-27 wenzelm 2015-12-27 discontinued ASCII replacement syntax <->;
2015-12-23 wenzelm 2015-12-23 NEWS;
2015-12-22 paulson 2015-12-22 Liouville theorem, Fundamental Theorem of Algebra, etc.