Admin/Release/build_library
Thu, 26 Sep 2013 12:56:59 +0200 wenzelm prefer GNU tar for Isabelle to avoid odd extended header keywords produced by Apple's bsdtar (see also 8f6046b7f850);
Tue, 15 Jan 2013 12:30:23 +0100 wenzelm grand-unified Admin/Release/build script (excluding .app and .exe);
less more (0) tip