Admin/components/main
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 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 Haskabelle as a component
2013-01-14 wenzelm 2013-01-14 updated to jdk-7u11;
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-08 wenzelm 2012-12-08 added jfreechart library, including the old version of iText from its distribution (required for the demo application and examples);
2012-12-04 blanchet 2012-12-04 go back to Z3 3.2
2012-12-01 wenzelm 2012-12-01 updated to jedit_build-20121201 (based on jedit-5.0.0);
2012-11-30 wenzelm 2012-11-30 updated to jdk-7u9;
2012-11-30 wenzelm 2012-11-30 updated to exec_process-1.0.3;
2012-11-26 blanchet 2012-11-26 updated two components
2012-09-24 wenzelm 2012-09-24 updated to exec_process-1.0.2;
2012-09-19 wenzelm 2012-09-19 universal component exec_process -- avoids special Admin/components/windows and might actually improve stability of forked processes (without using perl);
2012-09-17 wenzelm 2012-09-17 updated to polyml-5.5.0;
2012-09-03 wenzelm 2012-09-03 more direct access to all-important chunks for text painting; clarified line_start offset: physical line start not start(i);
2012-08-29 wenzelm 2012-08-29 provide polyml-5.4.1 as regular component; discontinued old-style choosefrom settings with hardwired defaults;
2012-08-17 wenzelm 2012-08-17 some explanations on component categories;
2012-08-17 wenzelm 2012-08-17 some grouping of components;