michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(vim/syntax/lean): match notations in vim syntax

Browse source
This commit is contained in:
Simon Cruanes 2015-09-01 18:31:48 +02:00 committed by Leonardo de Moura
parent 3188a42259
commit 94b68a8263
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/vim/syntax/lean.vim
View file

@ -61,6 +61,8 @@ syn region leanEncl matchgroup=leanDelim start="(" end=")" conta
syn region leanBracketEncl matchgroup=leanDelim start="\[" end="\]" contains=ALLBUT,leanBrackErr keepend
syn region leanEncl matchgroup=leanDelim start="{" end="}" contains=ALLBUT,leanBraceErr,leanModifier keepend
syn region leanNotation start=+`+ end=+`+
syn keyword leanTodo containedin=leanComment TODO FIXME BUG FIX
syn region leanComment start=+/-+ end=+-/+ contains=leanTodo
@ -87,6 +89,8 @@ if version >= 508 || !exists("did_lean_syntax_inits")
HiLink leanDelim Keyword " Delimiter is bad
HiLink leanOp Keyword
HiLink leanNotation String
HiLink leanBraceError Error
HiLink leanParenError Error
HiLink leanBracketError Error