Admin/Release/build_library
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-01-15 wenzelm 2013-01-15 grand-unified Admin/Release/build script (excluding .app and .exe);