2015-05-25 ago merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML;
2015-05-04 ago tuned;
2015-05-04 ago CONTRIBUTORS
2015-04-19 ago back to post-release mode -- after fork point;
2015-04-17 ago added Eisbach, using version 3752768caa17 of its Bitbucket repository;
2015-04-11 ago updated for release;
2015-04-08 ago misc tuning for release;
2015-03-25 ago more multiset theorems
2014-12-05 ago add integral substitution theorems from Manuel Eberl, Jeremy Avigad, Luke Serafin, and Sudeep Kanav
2014-10-08 ago move Code_Test to HOL/Library;
2014-09-06 ago theory about lexicographic ordering on functions
2014-08-22 ago generic euclidean algorithm (due to Manuel Eberl)
2014-08-10 ago 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 ago tuned;
2014-07-30 ago CONTRIBUTORS;
2014-07-27 ago back to post-release mode -- after fork point;
2014-07-05 ago CONTRIBUTORS
2014-07-05 ago tuned;
2014-07-05 ago added Tom's hyp_subst update
2014-07-01 ago for new release
2014-07-01 ago misc updates for release;
2014-06-28 ago CONTRIBUTORS
2014-06-16 ago lemmas about the moments of the normal distribution
2014-06-13 ago properties of normal distributed random variables (by Sudeep Kanav)
2014-06-12 ago properties of Erlang and exponentially distributed random variables (by Sudeep Kanav)
2014-06-11 ago updated contributors to include students
2014-05-20 ago CONTRIBUTORS
2014-04-05 ago avoid romanism
2014-04-05 ago CONTRIBUTORS
2014-03-14 ago updated NEWS and CONTRIBUTORS (BNF, SMT2, Sledgehammer)
2014-03-05 ago proper UTF-8;
2014-03-04 ago added contributor
2014-02-04 ago interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2013-11-11 ago merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;
2013-11-05 ago tuned;
2013-10-28 ago CONTRIBUTORS
2013-10-03 ago back to post-release mode -- after fork point;
2013-10-03 ago tuned;
2013-10-02 ago tuned;
2013-10-02 ago NEWS and CONTRIBUTORS
2013-10-02 ago typo
2013-10-02 ago NEWS and CONTRIBUTORS
2013-10-01 ago minor textual changes
2013-09-29 ago updated for release;
2013-09-29 ago updated for release;
2013-09-20 ago updated CONTRIBUTORS
2013-09-19 ago updated NEWS and CONTRIBUTORS
2013-09-10 ago NEWS and CONTRIBUTORS
2013-09-04 ago more contributors;
2013-08-30 ago updated news/contributors with BNF stuff
2013-08-23 ago clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL;
2013-08-07 ago more NEWS and CONTRIBUTORS;
2013-07-02 ago tuned;
2013-06-30 ago CONTRIBUTORS
2013-05-31 ago NEWS about Spec_Check
2013-04-10 ago NEWS and CONTRIBUTORS
2013-03-23 ago fundamental revision of big operators on sets
2013-03-23 ago locales for abstract orders
2013-02-17 ago Sieve of Eratosthenes
2013-02-17 ago CONTRIBUTORS