Admin/CHECKLIST
2010-06-09 wenzelm 2010-06-09 removed outdated/confusing INSTALL file;
2010-06-02 wenzelm 2010-06-02 actually test smlnj;
2010-05-28 wenzelm 2010-05-28 lib/Tools/makeall does not hardiwre logics;
2010-05-28 wenzelm 2010-05-28 discontinued Sun/Solaris tests;
2010-05-12 wenzelm 2010-05-12 check NEWS;
2010-05-12 wenzelm 2010-05-12 updated some version numbers;
2009-11-21 wenzelm 2009-11-21 tuned;
2009-05-31 wenzelm 2009-05-31 discontinued support for Poly/ML 4.x versions;
2009-04-14 wenzelm 2009-04-14 misc updates for Isabelle2009;
2009-04-02 wenzelm 2009-04-02 misc tuning for release;
2009-03-01 wenzelm 2009-03-01 discontinued experimental support for Alice -- too hard to maintain its many language incompatibilities, never really worked anyway;
2008-12-03 wenzelm 2008-12-03 eliminated traces of old Distribution directory;
2008-07-17 wenzelm 2008-07-17 tuned;
2008-05-29 wenzelm 2008-05-29 tuned;
2008-05-28 wenzelm 2008-05-28 tuned;
2007-12-06 wenzelm 2007-12-06 check persistent sessions;
2007-11-13 wenzelm 2007-11-13 some more items;
2007-10-30 haftmann 2007-10-30 adjusted
2007-10-27 haftmann 2007-10-27 ASCIIfied README
2007-10-24 wenzelm 2007-10-24 tuned;
2007-10-06 wenzelm 2007-10-06 some updates;
2007-09-18 haftmann 2007-09-18 clarified remark
2005-06-09 haftmann 2005-06-09 added CONTRIBUTORS
2005-04-22 kleing 2005-04-22 updated, added Admin/page after-release maintenance
2002-08-05 wenzelm 2002-08-05 updated;