Return DOLFIN version string
dolfin_error
dump_timings_to_xml
Enter search terms or a module, class or function name.