| Thu, 26 Sep 2013 13:34:42 +0200 | wenzelm | merged | changeset | files |
| Thu, 26 Sep 2013 13:28:26 +0200 | wenzelm | obsolete (see also 48d13465c7c7); | changeset | files |
| 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); | changeset | files |