syntax highlighting for Coq .v files

[namin]

Pygments now supports Coq .v files. See https://bitbucket.org/birkenfeld/pygments-main/issue/734/support-for-coq

Would it be possible to get this into Github?

Thanks.

[abevoelker]

Hi @namin, linguist calls Pygments through pygments.rb. If you could 👍 this pull request it would speed up the process of being able to support a Coq lexer on GH. Thanks!

[namin]

Thanks, @abevoelker. I 👍ed the pull request.

[abevoelker]

Awesome, thanks! If pygments.rb gets updated before the weekend I might have some time to implement your request myself.