Admin/java/build
2016-10-19 wenzelm 2016-10-19 updated to jdk-8u112;
2016-09-16 wenzelm 2016-09-16 consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
2016-07-27 wenzelm 2016-07-27 updated to jdk-8u102;
2016-06-01 wenzelm 2016-06-01 updated to jdk-8u92;
2016-01-20 wenzelm 2016-01-20 updated jdk;
2015-10-23 wenzelm 2015-10-23 updated to jdk-8u66;
2015-08-21 wenzelm 2015-08-21 updated to jdk-8u60, with support for x86_64-windows;
2015-07-19 wenzelm 2015-07-19 updated to jdk-8u51;
2015-04-15 wenzelm 2015-04-15 updated to jdk-7u80, the latest and last public release of Java 7;
2015-01-21 wenzelm 2015-01-21 updated to jdk-7u76, which appears to be more stable than jdk-8u31 (e.g. crashes jEdit/Console plugin of Mac OS X);
2015-01-21 wenzelm 2015-01-21 updated jdk-8u31;
2014-10-27 wenzelm 2014-10-27 updated to jdk-7u72;
2014-10-27 wenzelm 2014-10-27 ISABELLE_JAVA_EXT is obsolete; no censorship of ISABELLE_JDK_HOME;
2014-08-18 wenzelm 2014-08-18 updated to jdk-7u67;
2014-07-21 wenzelm 2014-07-21 updated to jdk-7u65;
2014-07-20 wenzelm 2014-07-20 updated to jdk-8u11 (inactive);
2014-06-26 wenzelm 2014-06-26 updated to jdk-7u60 -- back to stable Java 7 for Isabelle2014 release;
2014-04-16 wenzelm 2014-04-16 updated to jdk-8u5;
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-09-13 wenzelm 2013-09-13 proper sharing after change of directory structure (cf. 32ec957e5c3e); result is structurally equal, despite change of hash key;
2013-09-13 wenzelm 2013-09-13 added component jdk-7u40.tar.gz (inactive);
2013-09-05 wenzelm 2013-09-05 updated to jdk-7u25; less redundant directory structure;
2013-04-25 wenzelm 2013-04-25 updated to jdk-7u21;
2013-02-01 wenzelm 2013-02-01 provide jdk-7u13 (still inactive, potentially pointless);
2013-01-14 wenzelm 2013-01-14 updated to jdk-7u11;
2013-01-13 wenzelm 2013-01-13 some attempts to avoid "._" files on Mac OS X;
2012-11-30 wenzelm 2012-11-30 updated to jdk-7u9;
2012-08-16 wenzelm 2012-08-16 support for jdk-7u6 component;