pymor/pymor — pull request #61 by michaellaier (2014-03-05 19:37:57+00:00)
Title: Typos in documentation

Fixed some typos in the documentation.