isabelle: File revisions

Admin/java/build

2014-10-27	wenzelm	ISABELLE_JAVA_EXT is obsolete;	file \| diff \| annotate
2014-08-18	wenzelm	updated to jdk-7u67;	file \| diff \| annotate
2014-07-21	wenzelm	updated to jdk-7u65;	file \| diff \| annotate
2014-07-20	wenzelm	updated to jdk-8u11 (inactive);	file \| diff \| annotate
2014-06-26	wenzelm	updated to jdk-7u60 -- back to stable Java 7 for Isabelle2014 release;	file \| diff \| annotate
2014-04-16	wenzelm	updated to jdk-8u5;	file \| diff \| annotate
2013-09-26	wenzelm	prefer GNU tar for Isabelle to avoid odd extended header keywords produced by Apple's bsdtar (see also 8f6046b7f850);	file \| diff \| annotate
2013-09-13	wenzelm	proper sharing after change of directory structure (cf. 32ec957e5c3e);	file \| diff \| annotate
2013-09-13	wenzelm	added component jdk-7u40.tar.gz (inactive);	file \| diff \| annotate
2013-09-05	wenzelm	updated to jdk-7u25;	file \| diff \| annotate
2013-04-25	wenzelm	updated to jdk-7u21;	file \| diff \| annotate
2013-02-01	wenzelm	provide jdk-7u13 (still inactive, potentially pointless);	file \| diff \| annotate
2013-01-14	wenzelm	updated to jdk-7u11;	file \| diff \| annotate
2013-01-13	wenzelm	some attempts to avoid "._" files on Mac OS X;	file \| diff \| annotate
2012-11-30	wenzelm	updated to jdk-7u9;	file \| diff \| annotate
2012-08-16	wenzelm	support for jdk-7u6 component;	file \| diff \| annotate \| base

isabelle