Add 'Remark' to the 'coqThm' token
Merge branch 'pathogen-bundle' of https://github.com/trefis/coquille into pathogen-bundle
Merge pull request #24 from lgeorget/pathogen-bundle

Add a keyword to the syntax file