Detect the NaN and Inf values created by the new DeductionFormula, and try to fix #587 (revision formula)
Fix unicode in new revision formula (#587)
Remove the now redundant targets directory
Add test for boolean transformations (fails for some reason)
Add TV to input
Fix a bug in boolean simplification
Look at the boolean simplification
Revert mln smokes test changes to opencog.conf
Merge github.com:opencog/opencog
Formatting
Merge pull request #610 from jadeoneill/master

Improve the revision formula (#587) and test the boolean transformation rules