Admin/components/components.sha1
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;