Mercurial > hg > truffle
diff LICENSE @ 5405:136e9e8daf3d
changes to Condition: more canonicalization support, foldCondition always returns a result
author | Lukas Stadler <lukas.stadler@jku.at> |
---|---|
date | Tue, 15 May 2012 20:14:52 +0200 |
parents | cdef89d821bd |
children |