firedrakeproject/firedrake — pull request #33 by wence- (2013-10-14 15:43:36+00:00)
Title: Add name and label for Function

For Dolfin compatibility, turn Function.name into a function, not a
property, add Function.label and Function.rename.