catkin/xylem — pull request #19 by NikolausDemmel (2014-07-30 13:33:38+00:00)
Title: A few notes in the documentation.

This depends on #18, so the PR is against the `utils` branch. Change to be against master, once #18 is merged.

Small desing document updates and doc fixes.