Admin/Release/CHECKLIST
20 months ago wenzelm 2017-12-22 discontinued 'display_drafts' command;
22 months ago wenzelm 2017-10-23 obsolete;
22 months ago wenzelm 2017-10-08 more on Docker;
23 months ago wenzelm 2017-09-08 updated for release;
23 months ago wenzelm 2017-09-07 no fork of long-term test results: too complicated;
23 months ago wenzelm 2017-09-02 VSCode extension for official Isabelle release;
24 months ago wenzelm 2017-08-21 updated for release;
2017-04-23 wenzelm 2017-04-23 tuned documentation;
2017-04-23 wenzelm 2017-04-23 more checks;
2016-11-01 wenzelm 2016-11-01 proper remote repository source;
2016-11-01 wenzelm 2016-11-01 updated to new cronjob;
2016-11-01 wenzelm 2016-11-01 build_release on lxbroy10 appears to work, including latex and remote_dmg;
2016-10-24 wenzelm 2016-10-24 discontinued unused / untested distinction of separate PIDE modules;
2016-10-13 wenzelm 2016-10-13 replaced shell script by Isabelle/Scala;
2016-10-11 wenzelm 2016-10-11 build on macbroy2 for performance, but use macbroy30 for its more robust hdiutil;
2016-09-16 wenzelm 2016-09-16 misc updates;
2016-09-16 wenzelm 2016-09-16 consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
2016-04-26 wenzelm 2016-04-26 updated subtle side-conditions;
2016-03-03 wenzelm 2016-03-03 discontinued polyml-5.3.0;
2016-02-28 wenzelm 2016-02-28 support only polyml-5.3.0 and polyml-5.6;
2016-02-28 wenzelm 2016-02-28 more official "isabelle check_sources";
2016-02-17 wenzelm 2016-02-17 SML/NJ is no longer supported;
2016-01-24 wenzelm 2016-01-24 tuned;
2015-07-21 wenzelm 2015-07-21 avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes;
2015-05-21 wenzelm 2015-05-21 updated versions;
2015-05-21 wenzelm 2015-05-21 tuned;
2015-04-19 wenzelm 2015-04-19 proper isatest machine;
2015-04-12 wenzelm 2015-04-12 tuned;
2015-04-08 wenzelm 2015-04-08 misc tuning for release;
2015-04-08 wenzelm 2015-04-08 tuned;
2014-08-09 wenzelm 2014-08-09 tuned;
2014-07-27 wenzelm 2014-07-27 tuned;
2014-07-25 wenzelm 2014-07-25 tuned;
2014-07-23 wenzelm 2014-07-23 enable hires explictly, as seen for other high-end Java applications on the Web;
2014-07-01 wenzelm 2014-07-01 tuned;
2014-05-18 wenzelm 2014-05-18 clarified dependencies -- Mavericks presently does not work;
2014-05-07 wenzelm 2014-05-07 explicit option to build library, which takes most of the time; produce minimal index, e.g. for test web page;
2014-05-02 wenzelm 2014-05-02 proper tool wrap-up;
2014-05-02 wenzelm 2014-05-02 discontinued adhoc check (see also ea8343187225);
2014-02-09 wenzelm 2014-02-09 check scalable fonts;
2013-10-03 wenzelm 2013-10-03 tuned;
2013-10-03 wenzelm 2013-10-03 more notes;
2013-09-29 wenzelm 2013-09-29 updated for release;
2013-09-16 wenzelm 2013-09-16 adhoc check of ML sources, in addition to thy files already covered in Thy_Load;
2013-09-16 wenzelm 2013-09-16 more CHECKLIST;
2013-09-12 wenzelm 2013-09-12 more CHECKLIST;
2013-09-05 wenzelm 2013-09-05 support only one scala version; tuned;
2013-07-16 wenzelm 2013-07-16 fully-automated packaging (requires Mac OS X);
2013-06-24 wenzelm 2013-06-24 need to run isabelle update_keywords, but not to check it (cf. 4cf3f6153eb8);
2013-06-24 wenzelm 2013-06-24 improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first; tuned signature;
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;