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
2013-01-20 ago back to post-release mode -- after fork point;
2013-01-20 ago updated for release;
2013-01-20 ago misc tuning for release;
2012-12-31 ago updated for release;
2012-12-17 ago new contributor
2012-11-26 ago added file headers
2012-11-26 ago updated NEWS etc.
2012-11-24 ago more NEWS/CONTRIBUTORS;
2012-11-21 ago CONTRIBUTION: add fabians work
2012-10-10 ago efficient construction of red black trees from sorted associative lists
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;