| 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
|
| Fri, 13 Sep 2013 23:52:01 +0200 |
wenzelm |
proper sharing after change of directory structure (cf. 32ec957e5c3e);
|
file |
diff |
annotate
|
| Fri, 13 Sep 2013 14:53:00 +0200 |
wenzelm |
added component jdk-7u40.tar.gz (inactive);
|
file |
diff |
annotate
|
| Thu, 05 Sep 2013 16:03:44 +0200 |
wenzelm |
updated to jdk-7u25;
|
file |
diff |
annotate
|
| Thu, 25 Apr 2013 13:22:45 +0200 |
wenzelm |
updated to jdk-7u21;
|
file |
diff |
annotate
|
| Fri, 01 Feb 2013 21:58:00 +0100 |
wenzelm |
provide jdk-7u13 (still inactive, potentially pointless);
|
file |
diff |
annotate
|
| Mon, 14 Jan 2013 19:45:14 +0100 |
wenzelm |
updated to jdk-7u11;
|
file |
diff |
annotate
|
| Sun, 13 Jan 2013 20:30:33 +0100 |
wenzelm |
some attempts to avoid "._" files on Mac OS X;
|
file |
diff |
annotate
|
| Fri, 30 Nov 2012 16:34:11 +0100 |
wenzelm |
updated to jdk-7u9;
|
file |
diff |
annotate
|
| Thu, 16 Aug 2012 14:05:50 +0200 |
wenzelm |
support for jdk-7u6 component;
|
file |
diff |
annotate
| base
|