CONTRIBUTORS
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-09 wenzelm 2014-08-09 tuned;
2014-07-30 wenzelm 2014-07-30 CONTRIBUTORS;
2014-07-27 wenzelm 2014-07-27 back to post-release mode -- after fork point;
2014-07-05 haftmann 2014-07-05 CONTRIBUTORS
2014-07-05 wenzelm 2014-07-05 tuned;
2014-07-05 kleing 2014-07-05 added Tom's hyp_subst update
2014-07-01 paulson 2014-07-01 for new release
2014-07-01 wenzelm 2014-07-01 misc updates for release;
2014-06-28 haftmann 2014-06-28 CONTRIBUTORS
2014-06-16 hoelzl 2014-06-16 lemmas about the moments of the normal distribution
2014-06-13 hoelzl 2014-06-13 properties of normal distributed random variables (by Sudeep Kanav)
2014-06-12 hoelzl 2014-06-12 properties of Erlang and exponentially distributed random variables (by Sudeep Kanav)
2014-06-11 blanchet 2014-06-11 updated contributors to include students
2014-05-20 blanchet 2014-05-20 CONTRIBUTORS
2014-04-05 haftmann 2014-04-05 avoid romanism
2014-04-05 haftmann 2014-04-05 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"