Admin/Release/CHECKLIST
2013-02-13 wenzelm 2013-02-13 updated isabelle-release URLs;
2013-01-20 wenzelm 2013-01-20 tuned;
2013-01-19 wenzelm 2013-01-19 misc cleanup;
2013-01-17 wenzelm 2013-01-17 tuned;
2013-01-15 wenzelm 2013-01-15 grand-unified Admin/Release/build script (excluding .app and .exe);
2013-01-13 wenzelm 2013-01-13 updated makedist_library;
2013-01-10 wenzelm 2013-01-10 scala-2.9.2 is still supported;
2013-01-09 wenzelm 2013-01-09 minor update;
2013-01-09 wenzelm 2013-01-09 more CHECKLIST;
2012-12-31 wenzelm 2012-12-31 updated for release;
2012-08-29 wenzelm 2012-08-29 more formal isabelle makedist from repository;
2012-08-28 wenzelm 2012-08-28 more formal build_doc tool (Admin only); removed some doc-src junk;
2012-07-30 wenzelm 2012-07-30 updated isatest to isabelle build, which also includes doc-src sessions;
2012-07-28 wenzelm 2012-07-28 discontinued obsolete Isabelle/build script;
2012-07-05 wenzelm 2012-07-05 more explicit directory structure Admin/Release/; updated to Admin/components;