updated DEVEL.md