ANNOUNCE
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
2007-10-26 haftmann added hint for algebra
2007-10-22 wenzelm tuned Nominal entry;
2007-10-02 wenzelm tuned;
2007-10-01 wenzelm preliminary material for Isabelle2007;
2005-09-28 haftmann adjusted www links
2005-09-28 wenzelm revert 'defs' advertisement;
2005-09-27 wenzelm more details about incomplete 'defs';
2005-09-21 wenzelm tuned;
2005-09-21 wenzelm updated for Isabelle2005;
2004-04-19 kleing add HOL4
2004-04-17 kleing added sydney mirror
2004-04-17 nipkow 2003 -> 2004
2003-05-12 nipkow *** empty log message ***
2003-05-12 paulson tweaked
2003-05-12 nipkow *** empty log message ***
2002-03-08 wenzelm drop Stanford mirror;
2002-03-07 wenzelm tuned;
2002-03-04 wenzelm tuned;
2002-03-03 kleing MicroJava news
2002-03-01 wenzelm tuned;
2002-03-01 prensani Completed annonce of HoareParallel
2002-03-01 wenzelm tuned;
2002-03-01 paulson lcp's try
2002-02-28 wenzelm more stuff;
2002-02-27 wenzelm tuned;
2002-02-24 wenzelm tuned;
2001-09-27 wenzelm prepared for Isabelle2001;
2001-02-13 wenzelm tuned;
2001-02-13 paulson swapped Fleuriot and Paulson
2001-02-05 wenzelm tuned;
2000-10-06 wenzelm final tuning; Isabelle99-1
2000-10-06 wenzelm tuned;
2000-10-06 wenzelm tuned;
2000-10-06 wenzelm tuned;
2000-10-06 wenzelm tuned;
2000-10-06 wenzelm draft for 99-1;
2000-09-11 wenzelm template;
less more (0) tip