Admin/Release/CHECKLIST
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;
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;