pymor/pymor — pull request #62 by michaellaier (2014-03-06 19:59:51+00:00)
Title: Typos in documentation 2

Fixed some typos and changed the greek letters in the documentation