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