vim-scripts/CoqIDE — pull request #1 by jesboat (2013-01-31 23:23:05+00:00)
Title: A couple bugfixes and tweaks

- Fix GetNextCmd() bugs with dots in strings and other places
- Don't raise errors until the first .v file is opened
- UI tweaks