vim-scripts/CoqIDE — pull request #2 by tauli (2014-01-24 21:37:41+00:00)
Title: make CoqIDE compatible with Coq V8.4pl3

There was a change in the XML interface of coqtop. See http://coq.inria.fr/distrib/V8.4pl3/CHANGES for details.