Display the dolfin version number
dolfin-version
Send comments, questions, bug reports etc. to [email protected].
dolfin-version was written by Johan Hake <[email protected]>.