NEWS
2016-03-05 ago old HOL syntax is for input only;
2016-03-05 ago tuned signature -- clarified modules;
2016-03-05 ago tuned signature;
2016-03-03 ago isabelle console -r" helps to bootstrap Isabelle/Pure;
2016-03-03 ago clarified isabelle_process;
2016-03-03 ago discontinued polyml-5.3.0;
2016-03-02 ago support for ML_exception_debugger;
2016-02-29 ago clarified session;
2016-02-29 ago isabelle_process executable no longer supports writable heap images;
2016-02-28 ago discontinued old 'header';
2016-02-28 ago removed pointless "isabelle yxml";
2016-02-27 ago symbol interpretation for \<circle>;
2016-02-26 ago more succint formulation of membership for multisets, similar to lists;
2016-02-25 ago isabelle_scala_script is usually found by PATH;
2016-02-25 ago Conformal_mappings: a big development in complex analysis (+ some lemmas)
2016-02-25 ago tuned;
2016-02-24 ago NEWS
2016-02-10 ago Rename ordered_comm_monoid_add to ordered_cancel_comm_monoid_add. Introduce ordreed_comm_monoid_add, canonically_ordered_comm_monoid and dioid. Setup nat, entat and ennreal as dioids.
2016-02-18 ago NEWS concerning 66a381d3f88f
2016-02-17 ago merged
2016-02-17 ago SML/NJ is no longer supported;
2016-02-17 ago dropped various legacy fact bindings and tuned proofs
2016-02-17 ago separated potentially conflicting type class instance into separate theory
2016-02-17 ago dropped various legacy fact bindings
2016-02-17 ago generalized some lemmas;
2016-02-17 ago further generalization and polishing
2016-02-17 ago prefer abbreviations for compound operators INFIMUM and SUPREMUM
2016-02-17 ago making 'pred_inject' a first-class BNF citizen
2016-02-17 ago NEWS
2016-02-17 ago document new 'primrec' feature
2016-02-14 ago command '\<proof>' is an alias for 'sorry', with different typesetting;
2016-02-12 ago merged
2016-02-01 ago tuned NEWS: long-running tasks can still prevent urgent tasks from being started, due to start_execution pri = 0;
2016-01-31 ago more on "ML debugging within the Prover IDE";
2016-01-24 ago proper NEWS for this release;
2016-01-24 ago tuned;
2016-01-24 ago 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 ago tuned markup, e.g. relevant for Rendering.tooltip;
2016-01-20 ago back to post-release mode -- after fork point;
2016-01-20 ago fixed NEWS w.r.t. multisets
2016-01-20 ago added 'supset' variants for new '<#' etc. symbols on multisets
2016-01-19 ago tuned;
2016-01-19 ago Added approximation of powr to NEWS/CONTRIBUTORS
2016-01-13 ago removed old 'defs' command;
2016-01-13 ago Eisbach works for other object-logics, e.g. Eisbach_FOL.thy;
2016-01-13 ago tuned;
2016-01-13 ago updated NEWS
2016-01-13 ago more good NEWS;
2016-01-10 ago print_record NEWS and CONTRIBUTORS
2016-01-09 ago generate HTML version of NEWS, with proper symbol rendering;
2016-01-09 ago merged
2016-01-09 ago tuned;
2016-01-09 ago \<struct> loses its rendering and is superseded by \<diamondop>;
2016-01-09 ago discontinued \<struct> syntax;
2016-01-08 ago add uniform spaces
2016-01-08 ago tuned;
2016-01-08 ago merged
2016-01-07 ago more uniform treatment of package internals;
2016-01-07 ago Added formal power series updates to NEWS/CONTRIBUTORS
2016-01-06 ago misc tuning for release;