knowrob/knowrob — pull request #39 by knowrob (2014-09-15 13:19:21+00:00)
Title: Merge devel-gsoc14 branch

Merge the results of Andrei Stoica as part of the Google Summer of Code into the master branch.