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
Bump guile required version to 2.0.0
Try to work around unexpected buildbot failure!

Why is the buildbot failing on this!???
Fix a missing guile ifdef in benchmark

Apparently, the buildbot does not have guile-2.0 in it,
which is exposing all-new bugs.
whitespace fixes
Atomspace is no longer single-threaded; simplify
Add missing HAVE_GUILE protections
Assorted very minor performance opts
whitespace cleanup
Fix compiler warnings
Minor API cleanup
More API cleanup-related work.
remove some singleton instance usage
Fix a bug in boolean simplification
minimize use of singleton instance
Look at the boolean simplification