bluephoenix47/coq.vim — pull request #1 by blacksails (2014-09-28 10:26:52+00:00)
Title: XML changes and missing theorem keyword

Hi!

I applied the patch mentioned here https://github.com/tauli/CoqIDE/commit/2e5578c8078c7aa60aee491d037cc6eed1ab3a8c

and then i added proposition as a theorem keyword to the syntax.