Coqtail icon indicating copy to clipboard operation
Coqtail copied to clipboard
verified publisher icon whonore

Delimiters detected as `coqKwd`

Open Iron-E opened this issue 5 years ago • 0 comments

| is detected as coqKwd, like match in the below example:

coqKwd

It may be desired to :hi link | as coqVernacPunctuation, Delimiter, or some other group since | isn't really a keyword.

Relevant: #87

Iron-E avatar Dec 05 '20 21:12 Iron-E