NEWS
2012-05-02 wenzelm 2012-05-02 back to post-release mode -- after fork point;
2012-05-03 wenzelm 2012-05-03 more NEWS;
2012-05-02 wenzelm 2012-05-02 some re-ordering;
2012-05-02 wenzelm 2012-05-02 some re-ordering;
2012-05-02 wenzelm 2012-05-02 tuned spelling;
2012-05-02 huffman 2012-05-02 edit NEWS items for transfer/lifting
2012-04-30 Gerwin Klein 2012-04-30 provide [[record_codegen]] option for skipping codegen setup for records
2012-04-28 wenzelm 2012-04-28 some re-ordering;
2012-04-28 wenzelm 2012-04-28 updated system manual for release;
2012-04-28 haftmann 2012-04-28 less confusion in NEWS
2012-04-27 wenzelm 2012-04-27 mention tools and packages earlier;
2012-04-27 wenzelm 2012-04-27 tuned;
2012-04-27 wenzelm 2012-04-27 tuned;
2012-04-25 hoelzl 2012-04-25 sorted lemma list in NEWS
2012-04-23 wenzelm 2012-04-23 merged
2012-04-23 krauss 2012-04-23 NEWS
2012-04-23 wenzelm 2012-04-23 typedef with implicit set definition is considered legacy;
2012-04-23 hoelzl 2012-04-23 reworked Probability theory
2012-04-22 wenzelm 2012-04-22 merged
2012-04-22 blanchet 2012-04-22 fixed typos
2012-04-22 wenzelm 2012-04-22 USER_HOME settings variable points to cross-platform user home directory;
2012-04-21 huffman 2012-04-21 update NEWS for transfer/quotient
2012-04-21 huffman 2012-04-21 NEWS for transfer, lifting, and quotient
2012-04-20 hoelzl 2012-04-20 NEWS
2012-04-19 wenzelm 2012-04-19 merged
2012-04-19 hoelzl 2012-04-19 NEWS
2012-04-19 wenzelm 2012-04-19 more robust Sledgehammer in Prover IDE;
2012-04-17 Thomas Sewell 2012-04-17 New tactic "word_bitwise" expands word equalities/inequalities into logic.
2012-04-18 blanchet 2012-04-18 Sledgehammer NEWS and CONTRIBUTORS
2012-04-18 haftmann 2012-04-18 dropped errorneous NEWS entry
2012-04-18 haftmann 2012-04-18 consolidated NEWS entries on fold
2012-04-18 haftmann 2012-04-18 grouped fold-related NEWS entries together
2012-04-18 haftmann 2012-04-18 grouped NEWS concerning relations together
2012-04-18 haftmann 2012-04-18 merged rename traces
2012-04-16 wenzelm 2012-04-16 repaired some damage caused by merging with version from 12 days ago (cf. 8c8f27864ed1);
2012-04-16 nipkow 2012-04-16 merged
2012-04-04 nipkow 2012-04-04 refined new tutorial announcement
2012-04-15 wenzelm 2012-04-15 some coverage of bundled declarations;
2012-04-15 wenzelm 2012-04-15 some coverage of unnamed contexts, which can be nested within other targets;
2012-04-14 wenzelm 2012-04-14 misc tuning for release;
2012-04-14 wenzelm 2012-04-14 revert changes of already published NEWS;
2012-04-14 wenzelm 2012-04-14 some updates for release;
2012-04-14 wenzelm 2012-04-14 more robust treatment of ISABELLE_HOME on windows: eliminate spaces and funny unicode characters in directory name via DOS~1 notation;
2012-04-13 Andreas Lochbihler 2012-04-13 Automated merge with ssh://macbroy25.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
2012-04-13 Andreas Lochbihler 2012-04-13 NEWS
2012-04-13 bulwahn 2012-04-13 NEWS
2012-04-11 wenzelm 2012-04-11 rule composition via attribute "OF" (or ML functions OF/MRS) is more tolerant against multiple unifiers;
2012-04-10 wenzelm 2012-04-10 some coverage of HOL/TPTP;
2012-04-06 haftmann 2012-04-06 abandoned almost redundant *_foldr lemmas
2012-04-06 haftmann 2012-04-06 no preference wrt. fold(l/r); prefer fold rather than foldr for iterating over lists in generated code
2012-04-04 bulwahn 2012-04-04 documenting options quickcheck_locale; adjusting IsarRef documentation of Quotient predicate; NEWS
2012-04-02 nipkow 2012-04-02 new tutorial
2012-04-01 krauss 2012-04-01 less modest NEWS; CONTRIBUTORS
2012-04-01 krauss 2012-04-01 renamed import session back to Import, conforming to directory name; NEWS
2012-03-30 huffman 2012-03-30 removed redundant nat-specific copies of theorems
2012-03-30 haftmann 2012-03-30 power on predicate relations
2012-03-29 bulwahn 2012-03-29 announcing NEWS (cf. 446cfc760ccf)
2012-03-28 wenzelm 2012-03-28 clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME; clarified jEdit/README_BUILD;
2012-03-28 huffman 2012-03-28 merged
2012-03-27 huffman 2012-03-27 remove more redundant lemmas