Configurable group for matched highlighting

the-lambda-church / coquille

Interactive theorem proving with Coq in vim.

ISC License

186 stars 68 forks source link

Closed nilehmann closed 9 years ago

nilehmann commented 9 years ago

I added default option to highlight so the group can be specified in the vimrc file.