search

whonore / Coqtail

Interactive Coq Proofs in Vim
MIT License
274 stars 34 forks source link

fix typo in autogrp name #331

Closed zapashcanon closed 1 year ago

zapashcanon commented 1 year ago

Hi,

According to syntax/coq.vim, the highlighting group name should be CoqtailHighlight.

But in the README, it was CoqtailHighlights with an extra s. It took me a while to find out why this was not working as I was translating the example to Lua and were mostly suspicious about my translation... :sweat_smile:

Hopefully this will save some time to others. :)

Cheers and thanks for this plugin !

whonore commented 1 year ago

Good catch, thanks for the fix.