Admin/CHECKLIST
2011-10-15 wenzelm updated to polyml-5.4.1;
2011-09-27 wenzelm tuned;
2011-09-26 wenzelm tuned;
2011-09-11 wenzelm updates for release;
2011-09-10 wenzelm more symbolic file positions via smart replacement of ISABELLE_HOME -- allows Isabelle distribution to be moved later on;
2011-09-07 wenzelm some updates for release;
2011-01-31 wenzelm tuned;
2011-01-19 wenzelm more release checks;
2011-01-18 wenzelm more notes on final release stage;
2011-01-17 wenzelm some notes on final release stage;
2011-01-17 wenzelm keep Proof General 4.0 and 3.7.1.1 for now;
2011-01-16 wenzelm misc updates for release;
2011-01-12 wenzelm updated to ProofGeneral-4.x;
2011-01-07 wenzelm updated for release;
2010-11-28 wenzelm updated versions;
2010-11-28 wenzelm follow-up to HOLCF move (cf. 0437dbc127b3, 04d44a20fccf);
2010-06-24 wenzelm notes on packaging;
2010-06-09 wenzelm removed outdated/confusing INSTALL file;
2010-06-02 wenzelm actually test smlnj;
2010-05-28 wenzelm lib/Tools/makeall does not hardiwre logics;
2010-05-28 wenzelm discontinued Sun/Solaris tests;
2010-05-12 wenzelm check NEWS;
2010-05-12 wenzelm updated some version numbers;
2009-11-21 wenzelm tuned;
2009-05-31 wenzelm discontinued support for Poly/ML 4.x versions;
2009-04-14 wenzelm misc updates for Isabelle2009;
2009-04-02 wenzelm misc tuning for release;
2009-03-01 wenzelm discontinued experimental support for Alice -- too hard to maintain its many language incompatibilities, never really worked anyway;
2008-12-03 wenzelm eliminated traces of old Distribution directory;
2008-07-17 wenzelm tuned;
2008-05-29 wenzelm tuned;
2008-05-28 wenzelm tuned;
2007-12-05 wenzelm check persistent sessions;
2007-11-13 wenzelm some more items;
2007-10-30 haftmann adjusted
2007-10-27 haftmann ASCIIfied README
2007-10-24 wenzelm tuned;
2007-10-06 wenzelm some updates;
2007-09-18 haftmann clarified remark
2005-06-09 haftmann added CONTRIBUTORS
2005-04-21 kleing updated, added Admin/page after-release maintenance
2002-08-05 wenzelm updated;
less more (0) tip