log

age author description
Fri, 23 Aug 2013 18:22:27 +0200 Gilles Duboscq ReadNode.push, remove useless check
Sat, 24 Aug 2013 15:02:10 +0200 Roland Schatz Improve canonicalization of ConditionalNode.
Sat, 24 Aug 2013 14:38:11 +0200 Roland Schatz Introduce LogicNegationNode and remove Negatable interface.