Admin/lib/Tools/makedist
2016-10-24 wenzelm 2016-10-24 retain Admin component for isabelle tool invocation;
2016-10-24 wenzelm 2016-10-24 proper Admin tool;
2016-10-15 wenzelm 2016-10-15 identify release;
2016-10-13 wenzelm 2016-10-13 more cleanup;
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 more portable: GNU find no longer supports "-perm +mode";
2016-04-04 wenzelm 2016-04-04 clarified modules;
2016-01-13 wenzelm 2016-01-13 more doc content;
2016-01-13 wenzelm 2016-01-13 more doc content;
2016-01-09 wenzelm 2016-01-09 generate HTML version of NEWS, with proper symbol rendering;
2015-11-23 wenzelm 2015-11-23 bundle main sources read-only, to avoid accidental editing of imported theories etc.;
2014-07-26 wenzelm 2014-07-26 no -optimise -- produces bad bytecode;
2014-07-25 wenzelm 2014-07-25 proper option -O;
2014-07-24 wenzelm 2014-07-24 proper perl;
2014-07-24 wenzelm 2014-07-24 further distinction of Isabelle distribution: alert for identified release candidates;
2013-09-26 wenzelm 2013-09-26 prefer GNU tar for Isabelle to avoid odd extended header keywords produced by Apple's bsdtar (see also 8f6046b7f850);
2013-09-12 wenzelm 2013-09-12 propagate ISABELLE_CLASSPATH;
2013-09-06 wenzelm 2013-09-06 tuned;
2013-08-26 wenzelm 2013-08-26 prefer build_doc -s to avoid heaps left behind in $ISABELLE_HOME_USER (especially relevant to isatest);
2013-02-01 wenzelm 2013-02-01 allow relative directory;
2013-01-15 wenzelm 2013-01-15 grand-unified Admin/Release/build script (excluding .app and .exe);
2013-01-13 wenzelm 2013-01-13 some attempts to avoid "._" files on Mac OS X;
2013-01-09 wenzelm 2013-01-09 unconditional jedit_build; less intrusive build_doc;
2013-01-09 wenzelm 2013-01-09 tuned;
2012-08-29 wenzelm 2012-08-29 tuned message;
2012-08-29 wenzelm 2012-08-29 more formal isabelle makedist from repository;