search

whonore / Coqtail

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

Avoid highlighting comments in strings #352

Closed Lysxia closed 7 months ago

Lysxia commented 7 months ago

Closes #350

whonore commented 7 months ago

Nice, thanks.