Admin/lib/Tools/makedist
2013-09-26 wenzelm prefer GNU tar for Isabelle to avoid odd extended header keywords produced by Apple's bsdtar (see also 8f6046b7f850);
2013-09-12 wenzelm propagate ISABELLE_CLASSPATH;
2013-09-06 wenzelm tuned;
2013-08-26 wenzelm prefer build_doc -s to avoid heaps left behind in $ISABELLE_HOME_USER (especially relevant to isatest);
2013-02-01 wenzelm allow relative directory;
2013-01-15 wenzelm grand-unified Admin/Release/build script (excluding .app and .exe);
2013-01-13 wenzelm some attempts to avoid "._" files on Mac OS X;
2013-01-09 wenzelm unconditional jedit_build;
2013-01-09 wenzelm tuned;
2012-08-29 wenzelm tuned message;
2012-08-29 wenzelm more formal isabelle makedist from repository;
less more (0) tip