CONTRIBUTORS
2014-03-14 blanchet 2014-03-14 updated NEWS and CONTRIBUTORS (BNF, SMT2, Sledgehammer)
2014-03-05 wenzelm 2014-03-05 proper UTF-8;
2014-03-04 nipkow 2014-03-04 added contributor
2014-02-04 Lars Hupel 2014-02-04 interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2013-11-11 wenzelm 2013-11-11 merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;
2013-11-05 wenzelm 2013-11-05 tuned;
2013-10-28 noschinl 2013-10-28 CONTRIBUTORS
2013-10-03 wenzelm 2013-10-03 back to post-release mode -- after fork point;
2013-10-03 wenzelm 2013-10-03 tuned;
2013-10-02 wenzelm 2013-10-02 tuned;
2013-10-02 traytel 2013-10-02 NEWS and CONTRIBUTORS
2013-10-02 kuncar 2013-10-02 typo
2013-10-02 kuncar 2013-10-02 NEWS and CONTRIBUTORS
2013-10-01 blanchet 2013-10-01 minor textual changes
2013-09-29 wenzelm 2013-09-29 updated for release;
2013-09-29 wenzelm 2013-09-29 updated for release;
2013-09-20 blanchet 2013-09-20 updated CONTRIBUTORS
2013-09-19 blanchet 2013-09-19 updated NEWS and CONTRIBUTORS
2013-09-10 krauss 2013-09-10 NEWS and CONTRIBUTORS
2013-09-04 wenzelm 2013-09-04 more contributors;
2013-08-30 blanchet 2013-08-30 updated news/contributors with BNF stuff
2013-08-23 wenzelm 2013-08-23 clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL; just one src/Tools/ROOT;
2013-08-07 wenzelm 2013-08-07 more NEWS and CONTRIBUTORS;
2013-07-02 wenzelm 2013-07-02 tuned;
2013-06-30 haftmann 2013-06-30 CONTRIBUTORS
2013-05-31 bulwahn 2013-05-31 NEWS about Spec_Check
2013-04-10 traytel 2013-04-10 NEWS and CONTRIBUTORS
2013-03-23 haftmann 2013-03-23 fundamental revision of big operators on sets
2013-03-23 haftmann 2013-03-23 locales for abstract orders
2013-02-17 haftmann 2013-02-17 Sieve of Eratosthenes
2013-02-17 haftmann 2013-02-17 CONTRIBUTORS
2013-01-20 wenzelm 2013-01-20 back to post-release mode -- after fork point;
2013-01-20 wenzelm 2013-01-20 updated for release;
2013-01-20 wenzelm 2013-01-20 misc tuning for release;
2012-12-31 wenzelm 2012-12-31 updated for release;
2012-12-17 nipkow 2012-12-17 new contributor
2012-11-26 blanchet 2012-11-26 added file headers
2012-11-26 blanchet 2012-11-26 updated NEWS etc.
2012-11-24 wenzelm 2012-11-24 more NEWS/CONTRIBUTORS;
2012-11-21 hoelzl 2012-11-21 CONTRIBUTION: add fabians work
2012-10-10 Andreas Lochbihler 2012-10-10 efficient construction of red black trees from sorted associative lists
2012-09-22 wenzelm 2012-09-22 some PIDE NEWS from this summer;
2012-09-21 blanchet 2012-09-21 renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"
2012-09-20 Andreas Lochbihler 2012-09-20 NEWS and CONTRIBUTORS for a5377f6d9f14 and f0ecc1550998
2012-09-07 haftmann 2012-09-07 lattice instances for option type
2012-09-04 Christian Sternagel 2012-09-04 NEWS; CONTRIBUTORS
2012-08-28 blanchet 2012-08-28 updated NEWS and CONTRIBUTORS
2012-07-28 wenzelm 2012-07-28 announce advanced support for Isabelle sessions and build management;
2012-06-25 wenzelm 2012-06-25 ignore morphism more explicitly; tuned headers;
2012-06-21 bulwahn 2012-06-21 NEWS and CONTRIBUTORS
2012-05-02 wenzelm 2012-05-02 back to post-release mode -- after fork point;
2012-04-27 wenzelm 2012-04-27 tuned;
2012-04-23 kuncar 2012-04-23 CONTRIBUTORS
2012-04-23 hoelzl 2012-04-23 CONTRIBUTORS
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-15 wenzelm 2012-04-15 more CONTRIBUTORS;
2012-04-14 wenzelm 2012-04-14 some updates for release;
2012-04-13 bulwahn 2012-04-13 NEWS
2012-04-10 wenzelm 2012-04-10 some coverage of HOL/TPTP;