ANNOUNCE
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
2007-10-26 ago added hint for algebra
2007-10-22 ago tuned Nominal entry;
2007-10-02 ago tuned;
2007-10-01 ago preliminary material for Isabelle2007;
2005-09-28 ago adjusted www links
2005-09-28 ago revert 'defs' advertisement;
2005-09-27 ago more details about incomplete 'defs';
2005-09-21 ago tuned;
2005-09-21 ago updated for Isabelle2005;
2004-04-19 ago add HOL4
2004-04-17 ago added sydney mirror
2004-04-17 ago 2003 -> 2004
2003-05-12 ago *** empty log message ***
2003-05-12 ago tweaked
2003-05-12 ago *** empty log message ***
2002-03-08 ago drop Stanford mirror;
2002-03-07 ago tuned;
2002-03-04 ago tuned;
2002-03-03 ago MicroJava news
2002-03-01 ago tuned;
2002-03-01 ago Completed annonce of HoareParallel
2002-03-01 ago tuned;
2002-03-01 ago lcp's try
2002-02-28 ago more stuff;
2002-02-27 ago tuned;
2002-02-24 ago tuned;
2001-09-27 ago prepared for Isabelle2001;
2001-02-13 ago tuned;