wenzelm [Mon, 25 Mar 2013 14:07:59 +0100] rev 51512
merged
wenzelm [Mon, 25 Mar 2013 14:04:01 +0100] rev 51511
clarified text_fold vs. fbrk;
wenzelm [Mon, 25 Mar 2013 13:37:44 +0100] rev 51510
tuned print_classes: more standard order, markup, formatting;
uniform printing of minimal supersort/classrel;
wenzelm [Mon, 25 Mar 2013 11:05:07 +0100] rev 51509
tuned message;
wenzelm [Mon, 25 Mar 2013 10:45:47 +0100] rev 51508
actually exit on scalac failure;
wenzelm [Mon, 25 Mar 2013 10:37:38 +0100] rev 51507
tuned signature;
kleing [Mon, 25 Mar 2013 13:50:50 +0100] rev 51506
removed obsolete uses of ext
wenzelm [Sun, 24 Mar 2013 16:19:54 +0100] rev 51505
prefer preset = 3 -- much faster and less memory requirement;
wenzelm [Sun, 24 Mar 2013 16:12:45 +0100] rev 51504
basic support for xz files;
wenzelm [Sun, 24 Mar 2013 16:10:19 +0100] rev 51503
added component xz-java-1.2;