Thu, 05 Sep 2013 20:37:24 +0200 provide file indicator;
wenzelm [Thu, 05 Sep 2013 20:37:24 +0200] rev 53421
provide file indicator;
Thu, 05 Sep 2013 20:26:41 +0200 updated windows_app-20130905;
wenzelm [Thu, 05 Sep 2013 20:26:41 +0200] rev 53420
updated windows_app-20130905;
Thu, 05 Sep 2013 20:19:22 +0200 main application entry point involves implicit Cygwin init, depending on "uninitialized" file indicator;
wenzelm [Thu, 05 Sep 2013 20:19:22 +0200] rev 53419
main application entry point involves implicit Cygwin init, depending on "uninitialized" file indicator; standardized jdk location;
Thu, 05 Sep 2013 16:39:01 +0200 standardize jdk name;
wenzelm [Thu, 05 Sep 2013 16:39:01 +0200] rev 53418
standardize jdk name; check tar errors;
Thu, 05 Sep 2013 16:03:44 +0200 updated to jdk-7u25;
wenzelm [Thu, 05 Sep 2013 16:03:44 +0200] rev 53417
updated to jdk-7u25; less redundant directory structure;
Thu, 05 Sep 2013 13:09:31 +0200 support only one scala version;
wenzelm [Thu, 05 Sep 2013 13:09:31 +0200] rev 53416
support only one scala version; tuned;
Thu, 05 Sep 2013 12:33:51 +0200 updated to jedit_build-20130905 which is based on jedit-5.1.0;
wenzelm [Thu, 05 Sep 2013 12:33:51 +0200] rev 53415
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.*;
Thu, 05 Sep 2013 18:05:03 +0200 explicit module names have precedence over identifier declarations
haftmann [Thu, 05 Sep 2013 18:05:03 +0200] rev 53414
explicit module names have precedence over identifier declarations
Thu, 05 Sep 2013 18:05:02 +0200 check explicit module names for conformity
haftmann [Thu, 05 Sep 2013 18:05:02 +0200] rev 53413
check explicit module names for conformity
Thu, 05 Sep 2013 11:10:51 +0200 list_to_set_comprehension: don't crash in case distinctions on datatypes with even number of constructors
traytel [Thu, 05 Sep 2013 11:10:51 +0200] rev 53412
list_to_set_comprehension: don't crash in case distinctions on datatypes with even number of constructors
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip