opencog/opencog — pull request #425 by linas (2013-12-08 23:27:37+00:00)
Title: Assorted cleanup, documentation

For example, the shell prompts now work correctly. The SQL readme is now accurate.