CONTRIBUTORS
2010-08-23 hoelzl Rewrite the Probability theory.
2010-08-17 haftmann NEWS and CONTRIBUTORS
2010-06-07 wenzelm back to non-release mode;
2010-06-03 krauss CONTRIBUTORS
2010-06-02 wenzelm more CONTRIBUTORS;
2010-05-27 wenzelm misc updates for release;
2010-04-27 haftmann NEWS and CONTRIBUTORS
2009-12-04 wenzelm back to after-release mode;
2009-11-25 wenzelm tuned affiliation;
2009-11-25 boehmes extended list of HOL-Boogie contributors
2009-11-23 haftmann CONTRIBUTORS
2009-11-22 wenzelm more NEWS, more tuning for release;
2009-11-22 wenzelm misc tuning and updates for official release;
2009-11-19 hoelzl Added the contributions of Robert Himmelmann to CONTRIBUTIONS and NEWS
2009-11-12 bulwahn added a tabled implementation of the reflexive transitive closure
2009-11-12 bulwahn announcing the predicate compiler in NEWS and CONTRIBUTORS
2009-11-03 boehmes added HOL-Boogie
2009-10-26 blanchet merged
2009-10-22 blanchet added Nitpick's theory and ML files to Isabelle/HOL;
2009-10-26 wenzelm misc tuning and updates;
2009-10-20 boehmes added proof reconstructon for Z3,
2009-10-19 haftmann CONTRIBUTORS
2009-09-29 wenzelm Thomas Sewell, NICTA: more efficient HOL/record implementation;
2009-09-18 boehmes added new method "smt": an oracle-based connection to external SMT solvers
2009-09-18 haftmann tuned NEWS, added CONTRIBUTORS
2009-07-24 Philipp Meyer Functionality for sum of squares to call a remote csdp prover
2009-07-14 haftmann NEWS and CONTRIBUTORS
2009-06-05 haftmann CONTRIBUTORS
2009-04-25 wenzelm post Isabelle2009 version;
2009-04-08 wenzelm updated official title of contribution by Johannes Hoelzl;
less more (0) -50 -30 tip