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