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