Fix the Maintainer/Last changes/... fields in syntax/coq-goals.vim

the-lambda-church / coquille

Interactive theorem proving with Coq in vim.

ISC License

186 stars 68 forks source link

Closed lgeorget closed 9 years ago

lgeorget commented 9 years ago

If you don't mind, please revert pull request #35 and pull this one instead.

lgeorget commented 9 years ago

Sorry for the mess.