NEWS
2012-07-28 wenzelm 2012-07-28 discontinued obsolete Isabelle/build script;
2012-07-28 wenzelm 2012-07-28 announce advanced support for Isabelle sessions and build management;
2012-07-28 wenzelm 2012-07-28 discontinued special treatment of Proof General;
2012-07-23 haftmann 2012-07-23 restrict unqualified imports from Haskell Prelude to a small set of fundamental operations
2012-07-22 haftmann 2012-07-22 NEWS
2012-07-20 blanchet 2012-07-20 added MaSh to news
2012-07-19 haftmann 2012-07-19 export code relatively to master directory
2012-07-18 blanchet 2012-07-18 removed lie
2012-07-18 blanchet 2012-07-18 doc updates
2012-07-06 wenzelm 2012-07-06 tuned;
2012-07-06 wenzelm 2012-07-06 discontinued obsolete attribute "COMP";
2012-06-29 wenzelm 2012-06-29 default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2);
2012-06-25 wenzelm 2012-06-25 updated "isar-ref" manual, reduced remaining material in "ref" manual.
2012-06-21 bulwahn 2012-06-21 NEWS and CONTRIBUTORS
2012-06-06 blanchet 2012-06-06 updated NEWS
2012-06-04 boehmes 2012-06-04 restricted Z3 by default to a fragment where proof reconstruction should not fail (for better integration with Sledgehammer) -- the full set of supported Z3 features can still be used by enabling the configuration option "z3_with_extensions"
2012-05-29 bulwahn 2012-05-29 added optimisation for equational premises in Quickcheck; added some Quickcheck examples; NEWS
2012-05-24 wenzelm 2012-05-24 discontinued support for Poly/ML 5.2.1;
2012-05-23 wenzelm 2012-05-23 discontinued obsolete method fastsimp / tactic fast_simp_tac;
2012-05-23 wenzelm 2012-05-23 merged, abandoning change of src/HOL/Tools/ATP/atp_problem_generate.ML from 6ea205a4d7fd;
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;