wenzelm [Thu, 05 Sep 2013 12:33:51 +0200] rev 54552
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.*;
haftmann [Thu, 05 Sep 2013 18:05:03 +0200] rev 54551
explicit module names have precedence over identifier declarations
haftmann [Thu, 05 Sep 2013 18:05:02 +0200] rev 54550
check explicit module names for conformity
traytel [Thu, 05 Sep 2013 11:10:51 +0200] rev 54549
list_to_set_comprehension: don't crash in case distinctions on datatypes with even number of constructors
panny [Thu, 05 Sep 2013 01:58:48 +0200] rev 54548
support indirect corecursion
wenzelm [Wed, 04 Sep 2013 23:57:38 +0200] rev 54547
tuned proofs;
wenzelm [Wed, 04 Sep 2013 22:37:19 +0200] rev 54546
tuned proofs;
wenzelm [Wed, 04 Sep 2013 21:25:03 +0200] rev 54545
tuned proofs;
wenzelm [Wed, 04 Sep 2013 17:40:07 +0200] rev 54544
tuned;
wenzelm [Wed, 04 Sep 2013 17:36:37 +0200] rev 54543
tuned proofs;