| 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); | file | diff | annotate |
| Tue, 15 Jan 2013 12:30:23 +0100 | wenzelm | grand-unified Admin/Release/build script (excluding .app and .exe); | file | diff | annotate | base |