feat(colors): Coqtail support

This commit adds support for whonore/Coqtail.
This commit is contained in:
Iron-E 2020-12-05 14:44:35 -05:00
parent 6512def838
commit a4e48a6f9b
No known key found for this signature in database
GPG Key ID: 19B71B7B7B021D22
2 changed files with 16 additions and 0 deletions

View File

@ -135,6 +135,7 @@ You can either use [`nvim-treesitter`](https://github.com/nvim-treesitter/nvim-t
|:-----------|:------------------------------------------------------------------------------------------|
| ALGOL | [sterpe/vim-algol68](https://github.com/sterpe/vim-algol68) |
| C++ | [bfrg/vim-cpp-modern](https://github.com/bfrg/vim-cpp-modern) |
| Coq | [whonore/Coqtail](https://github.com/whonore/Coqtail) |
| Dart | [dart-lang/dart-vim-plugin](https://github.com/dart-lang/dart-vim-plugin) |
| DTrace | [vim-scripts/dtrace-syntax-file](https://github.com/vim-scripts/dtrace-syntax-file) |
| F# | [ionide/Ionide-vim](https://github.com/ionide/Ionide-vim) |

View File

@ -671,6 +671,21 @@ local highlight_groups = {
texMathRegionX = 'Number',
texMathRegionXX = 'Number',
--[[ 4.3.36. Coq ]]
coqConstructor = 'Constant',
coqDefBinderType = 'coqDefType',
coqDefContents1 = 'coqConstructor',
coqDefType = 'Typedef',
coqIndBinderTerm = 'coqDefBinderType',
coqIndConstructor = 'Delimiter',
coqIndTerm = 'Type',
coqKwd = 'Keyword',
coqKwdParen = 'Function',
coqRequire = 'Include',
coqTermPunctuation = 'Delimiter',
coqVernacCmd = 'Statement',
coqVernacPunctuation = 'Delimiter',
--[[ 4.4. Plugins
Everything in this section is OPTIONAL. Feel free to remove everything
here if you don't want to define it, or add more if there's something