| Fri, 08 Apr 2016 21:49:43 +0200 | wenzelm | updated according to 705d4c4003ea; | file | diff | annotate |
| Sat, 16 Jan 2016 16:37:45 +0100 | wenzelm | keep src/Doc; | file | diff | annotate |
| Wed, 22 Apr 2015 20:16:28 +0200 | wenzelm | clarified permissions; | file | diff | annotate |
| Thu, 09 Apr 2015 22:56:31 +0200 | wenzelm | obsolete; | file | diff | annotate |
| 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 |