ANNOUNCE
12 months ago ago more ANNOUNCE;
12 months ago ago prefer HTTPS;
12 months ago ago tuned;
12 months ago ago tuned;
12 months ago ago misc tuning and updates for release;
13 months ago ago updated for release;
22 months ago ago updated for release;
22 months ago ago updated for release;
23 months ago ago tuned;
23 months ago ago misc updates for release;
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;