ANNOUNCE
2016-12-12 ago tuned;
2016-10-28 ago tuned;
2016-10-28 ago tuned;
2016-10-25 ago updated for release;
2016-10-07 ago updated for release;
2016-01-18 ago updated mirrors according to website;
2016-01-16 ago tuned URLs according to website;
2016-01-06 ago misc tuning for release;
2016-01-05 ago misc tuning for release;
2016-01-01 ago tuned;
2016-01-01 ago updated for release;
2015-12-31 ago misc updates for release;
2015-04-17 ago tuned spelling;
2015-04-17 ago added Eisbach, using version 3752768caa17 of its Bitbucket repository;
2015-04-17 ago ANNOUNCE material, based on NEWS;
2015-04-11 ago updated for release;
2014-07-05 ago update for release;
2014-07-04 ago tuned;
2014-07-04 ago tuned;
2014-07-04 ago misc tuning for release;
2014-07-01 ago misc updates for release;
2013-11-20 ago updated to Isabelle2013-2;
2013-10-03 ago tuned;
2013-10-03 ago tuned;
2013-10-02 ago some highlights of Isabelle2013-1 based on NEWS;
2013-09-29 ago updated for release;
2013-01-25 ago updated for release;
2013-01-20 ago misc tuning for release;
2012-05-05 ago some highlights of Isabelle2012;
2012-04-14 ago some updates for release;
2011-09-18 ago tentative announcement based on current NEWS;
2011-09-07 ago some updates for release;
2011-01-17 ago tuned;
2011-01-17 ago some announcement;
2010-06-07 ago tuned ANNOUNCEMENT;
2010-06-04 ago first proposal for a announcement
2010-05-28 ago some updates for release;
2009-11-28 ago added "sos";
2009-11-24 ago consisten upper/lower case
2009-11-23 ago more tuning for release;
2009-11-23 ago ANNOUNCE
2009-11-22 ago misc tuning and updates for official release;
2009-04-15 ago tuned;
2009-04-14 ago tuned;
2009-04-14 ago added Haskabelle -- in accordance to website/index.html version f397b96e3ad2;
2009-04-02 ago updates for Isabelle2009 release;
2008-06-05 ago adjusted location of cambridge website
2008-06-03 ago some fine-tuning;
2008-06-03 ago reorganized isar-ref;
2008-05-28 ago tuned;
2008-05-28 ago added some notable improvements;
2008-05-28 ago prepared for Isabelle2008;
2007-11-06 ago tuned;
2007-11-06 ago added autoquickcheck
2007-11-04 ago the all-important ML antiquotations are back;
2007-11-02 ago tuned
2007-10-30 ago fixed typo
2007-10-29 ago fixed typo
2007-10-29 ago added nbe
2007-10-27 ago added list comprehension syntax