ANNOUNCE
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;