stan-dev/stan — pull request #115 by bob-carpenter (2013-06-12 20:45:47+00:00)
Title: Feature/manual patch

Fixes outstanding issues with manual.

Should close issue #87.