Add fields to instances
  syntax/coq.vim
Merge branch 'master' of github.com:bluephoenix47/coq.vim

Conflicts:
	syntax/coq.vim