Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Wed, 22 Feb 2012 17:05:20 +0100 | Lukas Stadler | add Condition.join, Condition.meet and tests |
Wed, 22 Feb 2012 17:04:27 +0100 | Lukas Stadler | add MethodContents assumption to fix debbugging issue |
Tue, 21 Feb 2012 16:23:44 -0800 | Christian Haeubl | bugfix |