NEWS
2014-10-05 wenzelm 2014-10-05 NEWS;
2014-10-04 wenzelm 2014-10-04 merged;
2014-10-04 wenzelm 2014-10-04 NEWS;
2014-10-03 wenzelm 2014-10-03 SideKick parser for bibtex entries; tuned signature;
2014-10-03 wenzelm 2014-10-03 context menu for bibtex entries;
2014-10-02 haftmann 2014-10-02 moved lemmas out of Int.thy which have nothing to do with int
2014-09-22 wenzelm 2014-09-22 discontinued old "xnum" token category; simplified Lexicon.read_num, Lexicon.read_float: no sign here; express ZF numerals via "num" with mixfix grammar; recovered printing of ZF numerals: "one" is abbreviation;
2014-09-21 haftmann 2014-09-21 explicit separation of signed and unsigned numerals using existing lexical categories num and xnum
2014-09-18 blanchet 2014-09-18 updated NEWS
2014-09-18 haftmann 2014-09-18 product over monoids for lists
2014-09-12 haftmann 2014-09-12 NEWS
2014-09-11 blanchet 2014-09-11 updated news
2014-09-09 nipkow 2014-09-09 enamed drop_Suc_conv_tl and nth_drop' to Cons_nth_drop_Suc
2014-09-07 haftmann 2014-09-07 restrictive options for class dependencies
2014-09-05 blanchet 2014-09-05 updated docs
2014-08-31 haftmann 2014-08-31 restored generic value slot, retaining default behaviour and separate approximate command
2014-08-28 blanchet 2014-08-28 tuned terminology
2014-08-28 blanchet 2014-08-28 moved new para to right section of NEWS
2014-08-28 blanchet 2014-08-28 minor NEWS fix
2014-08-28 blanchet 2014-08-28 updated NEWS
2014-08-28 blanchet 2014-08-28 updated NEWS
2014-08-27 blanchet 2014-08-27 removed not so interesting 'set_empty'
2014-08-19 wenzelm 2014-08-19 merged
2014-08-19 wenzelm 2014-08-19 added PARALLEL_ALLGOALS convenience;
2014-08-19 blanchet 2014-08-19 documented slight incompatibility in NEWS
2014-08-18 blanchet 2014-08-18 reordered some (co)datatype property names for more consistency
2014-08-16 wenzelm 2014-08-16 updated documentation concerning 'named_theorems';
2014-08-14 wenzelm 2014-08-14 localized command 'method_setup' and 'attribute_setup'; clarified (non)application of morphism: argument src is already transformed, semantic body remains untransformed;
2014-08-10 wenzelm 2014-08-10 merged -- with manual conflict resolution for src/HOL/SMT_Examples/SMT_Examples.certs2, src/HOL/SMT_Examples/SMT_Word_Examples.certs2, src/Doc/Prog_Prove/document/intro-isabelle.tex;
2014-08-08 wenzelm 2014-08-08 improved monitor panel;
2014-08-04 wenzelm 2014-08-04 tuned;
2014-07-31 wenzelm 2014-07-31 completion popup supports both ENTER and TAB (default);
2014-07-30 kuncar 2014-07-30 NEWS
2014-07-29 hoelzl 2014-07-29 better ordering of positive_integral renaming to nn_integral in NEWS
2014-07-28 wenzelm 2014-07-28 some actual workaround to remove document nodes;
2014-08-01 blanchet 2014-08-01 updated NEWS
2014-07-27 wenzelm 2014-07-27 back to post-release mode -- after fork point;
2014-07-27 wenzelm 2014-07-27 tuned;
2014-07-24 wenzelm 2014-07-24 tuned spelling;
2014-07-24 wenzelm 2014-07-24 updated NEWS according to d38a98f496dd (see also bdc2c6b40bf2);
2014-07-21 wenzelm 2014-07-21 clarified "simp_trace_new" and corresponding isar-ref section;
2014-07-09 blanchet 2014-07-09 tuned terminology
2014-07-05 wenzelm 2014-07-05 misc tuning for release;
2014-07-05 haftmann 2014-07-05 NEWS
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2014-07-04 wenzelm 2014-07-04 misc tuning for release;
2014-07-04 wenzelm 2014-07-04 misc tuning for release;
2014-07-04 wenzelm 2014-07-04 NEWS;
2014-07-02 wenzelm 2014-07-02 tuned grammar and spelling (cf. 0cf15843b82f);
2014-07-01 immler 2014-07-01 overdue NEWS concerning c4daa97ac57a
2014-07-01 paulson 2014-07-01 for new release
2014-07-01 wenzelm 2014-07-01 misc updates for release;
2014-06-30 wenzelm 2014-06-30 ProofGeneral-4.2-2 is optional component (including the traditional helper scripts);
2014-06-30 wenzelm 2014-06-30 "isabelle tty" is superseded by "isabelle console";
2014-06-30 haftmann 2014-06-30 qualified String.explode and String.implode
2014-06-29 blanchet 2014-06-29 killed Python version of MaSh, now that the SML version works adequately
2014-06-28 haftmann 2014-06-28 tracing facilities for the code generator preprocessor
2014-06-28 wenzelm 2014-06-28 updated NEWS -- removed material that is already in the manual;
2014-06-28 haftmann 2014-06-28 fact consolidation
2014-06-27 wenzelm 2014-06-27 command 'print_term_bindings' supersedes 'print_binds';