Mercurial > hg > truffle
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. |