ANNOUNCE
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;
2001-02-13 paulson 2001-02-13 swapped Fleuriot and Paulson
2001-02-05 wenzelm 2001-02-05 tuned;
2000-10-06 wenzelm 2000-10-06 final tuning;
2000-10-06 wenzelm 2000-10-06 tuned;
2000-10-06 wenzelm 2000-10-06 tuned;
2000-10-06 wenzelm 2000-10-06 tuned;
2000-10-06 wenzelm 2000-10-06 tuned;
2000-10-06 wenzelm 2000-10-06 draft for 99-1;
2000-09-11 wenzelm 2000-09-11 template;