opencog/opencog — pull request #357 by linas (2013-10-28 16:24:25+00:00)
Title: Fix AVChanged signal; tweak TVChanged signal

Minor changes, mostly. Rename the atom merge signal to tv-changed, to clarify that is what is being provided.