Compatible with dolfin 2019.1

Compatible with fenics 2019.1

Compatible with dolfin 2018.1

Move to xcode6.4, like Fenics

Compatible with dolfin 2016.1

Compatible with dolfin 2016.1

Compatible with dolfin 1.6.0

Fixing for 1.6 release

Compatible with dolfin 1.5.0

Fixing weighted gradient because of new local/global stuff

Compatible with dolfin1.4.0

v1.4.0

Merge branch 'master' of github.com:mikaem/fenicstools

Compatible with dolfin1.3.0

Compatible with Fenics version 1.3.0