Comments inside of strings are not highlighted correctly

whonore / Coqtail

Interactive Coq Proofs in Vim

MIT License

274 stars 34 forks source link

Closed bn-peters closed 7 months ago

bn-peters commented 7 months ago

Example:

Check "a comment inside (* of a string *) is not highlighted incorrectly".