]>
2013-09-30 | Wolfgang Bumiller | Merge branch 'master' into cooking | blob | commitdiff | raw |
2013-09-30 | Dale Weiler | Handle double negation case specially. Update TODO | blob | commitdiff | raw |
2012-12-26 | Wolfgang Bumiller | Merge pull request #73 from matthiaskrgr/master | blob | commitdiff | raw | diff to current |
2012-12-26 | matthiaskrgr | TODO: fix typos | blob | commitdiff | raw | diff to current |
2012-12-16 | Dale Weiler | Fix some typos | blob | commitdiff | raw | diff to current |
2012-12-16 | Dale Weiler | Add TODO | blob | commitdiff | raw | diff to current |