opencog/opencog — pull request #313 by linas (2013-10-01 21:07:17+00:00)
Title: convert boost:shared_ptr to std::shared_ptr

preliminary groundwork to more serious changes.