firedrakeproject/firedrake — pull request #318 by dorugeber (2014-05-25 12:49:51+00:00)
Title: Changes to existing documentation

A few miscellaneous corrections and rewordings.