CONTRIBUTORS
2012-09-22 ago some PIDE NEWS from this summer;
2012-09-21 ago renamed "Codatatype" directory "BNF" (and corresponding session) -- this opens the door to no-nonsense session names like "HOL-BNF-LFP"
2012-09-20 ago NEWS and CONTRIBUTORS for a5377f6d9f14 and f0ecc1550998
2012-09-07 ago lattice instances for option type
2012-09-04 ago NEWS; CONTRIBUTORS
2012-08-28 ago updated NEWS and CONTRIBUTORS
2012-07-28 ago announce advanced support for Isabelle sessions and build management;
2012-06-25 ago ignore morphism more explicitly;
2012-06-21 ago NEWS and CONTRIBUTORS
2012-05-02 ago back to post-release mode -- after fork point;
2012-04-27 ago tuned;
2012-04-23 ago CONTRIBUTORS
2012-04-23 ago CONTRIBUTORS
2012-04-17 ago New tactic "word_bitwise" expands word equalities/inequalities into logic.
2012-04-18 ago Sledgehammer NEWS and CONTRIBUTORS
2012-04-15 ago more CONTRIBUTORS;
2012-04-14 ago some updates for release;
2012-04-13 ago NEWS
2012-04-10 ago some coverage of HOL/TPTP;
2012-04-01 ago less modest NEWS; CONTRIBUTORS
2012-02-23 ago CONTRIBUTORS
2011-09-26 ago back to post-release mode;
2011-09-18 ago misc tuning for release;
2011-09-12 ago fix typo
2011-09-12 ago NEWS and CONTRIBUTORS
2011-09-12 ago adding NEWS and CONTRIBUTORS
2011-09-12 ago merged
2011-09-12 ago moving connection of association lists to Mappings into a separate theory
2011-09-12 ago added my contributions to NEWS and CONTRIBUTORS
2011-09-11 ago more CONTRIBUTORS;
2011-09-08 ago merged
2011-09-07 ago theory of saturated naturals contributed by Peter Gammie
2011-09-07 ago some updates for release;
2011-01-17 ago back to post-release mode;
2011-01-16 ago misc updates for release;
2011-01-15 ago Added entry for HOL-SPARK
2011-01-12 ago CONTRIBUTORS
2011-01-11 ago updated to Isabelle2011;
2010-11-05 ago proper spelling;
2010-11-05 ago Extend convex analysis by Bogdan Grechuk
2010-10-29 ago CONTRIBUTORS;
2010-10-25 ago CONTRIBUTORS
2010-09-23 ago CONTRIBUTORS and NEWS
2010-08-23 ago Rewrite the Probability theory.
2010-08-17 ago NEWS and CONTRIBUTORS
2010-06-07 ago back to non-release mode;
2010-06-03 ago CONTRIBUTORS
2010-06-02 ago more CONTRIBUTORS;
2010-05-27 ago misc updates for release;
2010-04-27 ago NEWS and CONTRIBUTORS
2009-12-04 ago back to after-release mode;
2009-11-25 ago tuned affiliation;
2009-11-25 ago extended list of HOL-Boogie contributors
2009-11-23 ago CONTRIBUTORS
2009-11-22 ago more NEWS, more tuning for release;
2009-11-22 ago misc tuning and updates for official release;
2009-11-19 ago Added the contributions of Robert Himmelmann to CONTRIBUTIONS and NEWS
2009-11-12 ago added a tabled implementation of the reflexive transitive closure
2009-11-12 ago announcing the predicate compiler in NEWS and CONTRIBUTORS
2009-11-03 ago added HOL-Boogie