Admin/components/components.sha1
2013-09-05 wenzelm 2013-09-05 updated to jdk-7u25; less redundant directory structure;
2013-09-05 wenzelm 2013-09-05 updated to jedit_build-20130905 which is based on jedit-5.1.0; added jsr305-2.0.0.jar from http://code.google.com/p/findbugs (via ivy cache), which is required to resolve javax.annotation.*;
2013-08-13 blanchet 2013-08-13 imported patch added_e_1_8
2013-07-16 wenzelm 2013-07-16 Cygwin with Latex according to Cygwin-Latex-Setup.bat (presently unused);
2013-07-16 wenzelm 2013-07-16 fully-automated packaging (requires Mac OS X);
2013-07-16 wenzelm 2013-07-16 build Windows application on the spot, using Unix tools;
2013-06-28 wenzelm 2013-06-28 support for idea-icons (using ideaIC-129.354/platform/icons/src from IntelliJ IDEA Community Edition 12.1.2);
2013-06-23 wenzelm 2013-06-23 updated to scala-2.10.2;
2013-05-27 wenzelm 2013-05-27 updated to ProofGeneral-4.2;
2013-04-25 wenzelm 2013-04-25 updated to jdk-7u21;
2013-03-24 wenzelm 2013-03-24 added component xz-java-1.2;
2013-03-15 wenzelm 2013-03-15 updated to scala-2.10.1;
2013-02-01 wenzelm 2013-02-01 provide jdk-7u13 (still inactive, potentially pointless);
2013-01-28 wenzelm 2013-01-28 updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements;
2013-01-25 wenzelm 2013-01-25 another attempt to standardize sort order in a portable way;
2013-01-25 wenzelm 2013-01-25 rebundled polyml-5.5.0-2, which now includes the sources as usual (e.q. required for formal references in Isabelle/ML);
2013-01-21 wenzelm 2013-01-21 repackaged polyml-5.5.0-1 -- only x86-cygwin changed;
2013-01-17 wenzelm 2013-01-17 updated to cygwin-20130117;
2013-01-17 wenzelm 2013-01-17 re-generated components.sha1;
2013-01-17 blanchet 2013-01-17 updated component again, as there was an issue with hard-coded paths in "runepar.pl"
2013-01-17 blanchet 2013-01-17 updated E component
2013-01-17 noschinl 2013-01-17 register SHA1 for Haskabelle-2013 component
2013-01-14 wenzelm 2013-01-14 updated to jdk-7u11;
2013-01-14 wenzelm 2013-01-14 updated to cygwin-20130114;
2013-01-10 wenzelm 2013-01-10 manage cygwin as bundled quasi-component;
2013-01-06 wenzelm 2013-01-06 updated to scala-2.10.0;
2013-01-04 wenzelm 2013-01-04 updated to jedit_build-20130104;
2012-12-14 wenzelm 2012-12-14 just one Admin/components/ directory;