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