log

age author description
Fri, 11 Apr 2014 19:00:42 +0200 Gilles Duboscq Some simplifications around filter usages and node predicates
Fri, 11 Apr 2014 18:17:21 +0200 Gilles Duboscq rename FalsePredicate to ContradictionPredicate
Fri, 11 Apr 2014 18:16:32 +0200 Gilles Duboscq Simplify NodePredicates (use overrides instead of if cascades)
Fri, 11 Apr 2014 18:01:21 +0200 Gilles Duboscq Make NodePredicate an interface
Fri, 11 Apr 2014 17:16:24 +0200 Gilles Duboscq mx intellijinit: fix typo in project's language level settings
Fri, 11 Apr 2014 16:34:43 +0200 Gilles Duboscq Be sure to resolve and download librariesin mx intellijinit
Wed, 16 Apr 2014 14:27:18 +0200 Roland Schatz Merge.