rayelliott
/
paper-tonic
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

feat(colors): add coq proof highlight

This commit is contained in:
Iron-E 2020-12-06 22:16:24 -05:00
parent 2541117eb6
commit 63ba9ddbfd
No known key found for this signature in database
GPG Key ID: 19B71B7B7B021D22
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
colors/highlite.vim
View File

@ -680,8 +680,12 @@ local highlight_groups = {
coqIndConstructor = 'Delimiter', coqIndConstructor = 'Delimiter',
coqIndTerm = 'Type', coqIndTerm = 'Type',
coqKwd = 'Keyword', coqKwd = 'Keyword',
coqKwdParen = 'Function', coqKwdParen = 'Function',
coqRequire = 'Include', coqProofDelim = 'coqVernacCmd',
coqProofDot = 'coqTermPunctuation',
coqProofPunctuation = 'coqTermPunctuation',
coqRequire = 'Include',
coqTactic = 'Operator',
coqTermPunctuation = 'Delimiter', coqTermPunctuation = 'Delimiter',
coqVernacCmd = 'Statement', coqVernacCmd = 'Statement',
coqVernacPunctuation = 'coqTermPunctuation', coqVernacPunctuation = 'coqTermPunctuation',