firedrakeproject/firedrake — pull request #282 by wence- (2014-04-29 17:26:48+00:00)
Title: Minor fixes

A bunch of minor updates that have been hanging around.