NEWS
2013-03-13 ago sessions may be organized via 'chapter' in ROOT;
2013-03-12 ago discontinued "isabelle usedir" option -r (reset session path);
2013-03-11 ago discontinued "isabelle usedir" option -P (remote path);
2013-03-09 ago discontinued theory src/HOL/Library/Eval_Witness -- assumptions do not longer hold in presence of abstract types
2013-02-28 ago discontinued empty name bindings in 'axiomatization';
2013-02-28 ago discontinued obsolete 'axioms' command;
2013-02-27 ago discontinued redundant 'use' command;
2013-02-27 ago discontinued obsolete 'uses' within theory header;
2013-02-22 ago discontinued obsolete src/HOL/IsaMakefile;
2013-02-16 ago restored proper order of NEWS entries (lost due too long-waiting patches)
2013-02-15 ago two target language numeral types: integer and natural, as replacement for code_numeral;
2013-02-15 ago updated news
2013-02-14 ago consolidation of library theories on product orders
2013-02-13 ago merged;
2013-02-10 ago updated PIDE notes;
2013-01-28 ago tuned;
2013-01-26 ago clarified NEWS on isabelle build and mkroot;
2013-01-25 ago tuned;
2013-01-31 ago remove unnecessary assumption from real_normed_vector
2013-01-20 ago back to post-release mode -- after fork point;
2013-01-20 ago updated for release;
2013-01-20 ago misc tuning for release;
2013-01-14 ago NEWS
2013-01-11 ago more NEWS;
2013-01-09 ago tune spelling;
2013-01-08 ago allow negative argument in "consumes" source format;
2013-01-04 ago merged
2013-01-04 ago more reactive completion popup by default;
2013-01-04 ago updated docs
2013-01-04 ago more NEWS;
2013-01-04 ago document 'locale_deps';
2013-01-03 ago NEWS: ML runtime statistics;
2012-12-31 ago misc tuning for release;
2012-12-31 ago recovered Isabelle2012 NEWS from ae12b92c145a, except for e5420161d11d;
2012-12-29 ago new theory Library/Finite_Lattice
2012-12-23 ago renamed and added lemmas
2012-12-18 ago discontinued legacy antiquotations and styles
2012-12-14 ago Remove the indexed basis from the definition of euclidean spaces and only use the set of Basis vectors
2012-12-14 ago NEWS
2012-12-14 ago merged
2012-12-13 ago renamed "emb" to "list_hembeq";
2012-12-13 ago smarter handling of tracing messages: prover process pauses and enters user dialog;
2012-12-10 ago more generous tracing limit -- rescaled in MB;
2012-12-06 ago documentation for isabelle build_dialog and its implicit use in isabelle jedit;
2012-11-26 ago tuned;
2012-11-26 ago merged
2012-11-26 ago updated NEWS etc.
2012-11-26 ago refined outer syntax 'help' command;
2012-11-25 ago added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
2012-11-24 ago more NEWS/CONTRIBUTORS;
2012-11-24 ago improved editing support for control styles;
2012-11-24 ago added ISABELLE_PLATFORM_FAMILY;
2012-11-21 ago NEWS: document changes in HOL-Probability
2012-11-21 ago NEWS (changeset 13211e07d931): add Countable_Set
2012-11-21 ago NEWS (changeset 69b35a75caf3): document changes in FuncSet
2012-11-21 ago new theory of immutable arrays
2012-11-20 ago simplified command line of "isabelle install";
2012-11-19 ago theorem status about oracles/futures is no longer printed by default;
2012-11-18 ago more generous tracing_limit, with explicit system option;
2012-11-18 ago adjust max_threads_value to capabilities of Poly/ML 5.5 and current hardware;