NEWS
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;
2016-01-06 ago add the proof of the central limit theorem
2016-01-06 ago updated NEWS
2016-01-06 ago added ML antiquotation @{method};
2016-01-05 ago misc tuning for release;
2016-01-05 ago Added summability/Gamma/etc. to NEWS and CONTRIBUTORS
2016-01-02 ago NEWS;
2016-01-01 ago oops;
2016-01-01 ago tuned;
2016-01-01 ago more symbols;
2015-12-31 ago misc tuning for release;
2015-12-31 ago misc updates for release;
2015-12-31 ago documentation for "isabelle jedit_client";
2015-12-30 ago more symbols;
2015-12-30 ago more symbols;
2015-12-30 ago more symbols;
2015-12-29 ago more symbols;
2015-12-29 ago more symbols;
2015-12-29 ago more symbols;
2015-12-29 ago more arrow symbols;
2015-12-29 ago more arrow symbols;
2015-12-29 ago support additional abbrevs;
2015-12-29 ago isabelle console: print mode "ASCII";
2015-12-28 ago former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
2015-12-27 ago discontinued ASCII replacement syntax <*>;
2015-12-27 ago discontinued ASCII replacement syntax <->;
2015-12-23 ago NEWS;
2015-12-22 ago Liouville theorem, Fundamental Theorem of Algebra, etc.
2015-12-21 ago tuned spelling;
2015-12-21 ago merged
2015-12-21 ago more explicit ML profiling, with official Isabelle output;
2015-12-19 ago documentation on last state of the art concerning interpretation
2015-12-15 ago New complex analysis material
2015-12-13 ago more general types Proof.method / context_tactic;
2015-12-07 ago clarified terminology
2015-12-07 ago Merge
2015-12-07 ago tuned;
2015-12-06 ago tuned;
2015-12-01 ago add formalisation of Bourbaki-Witt fixpoint theorem
2015-11-25 ago observe option "indent";
2015-11-22 ago tuned;
2015-11-21 ago tuned;
2015-11-18 ago Refine the supression of abbreviations for morphisms that are not identities.