gebner/etc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

vim: lean3 comment def

Browse Source
This commit is contained in:
Gabriel Ebner 2021-12-07 19:30:12 +01:00
parent fafa8c9793
commit fc8a90331a
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
vimrc
View File

@ -189,6 +189,7 @@ call tcomment#type#Define('chaskell', '-- %s')
call tcomment#type#Define('vala', '// %s') call tcomment#type#Define('vala', '// %s')
call tcomment#type#Define('tptp', '%% %s') call tcomment#type#Define('tptp', '%% %s')
call tcomment#type#Define('lean', '-- %s') call tcomment#type#Define('lean', '-- %s')
call tcomment#type#Define('lean3', '-- %s')
au syntax tex setl iskeyword+=: au syntax tex setl iskeyword+=:
au syntax tex syn region texZone start="\\begin{clilisting}" end="\\end{clilisting}\|%stopzone\>" au syntax tex syn region texZone start="\\begin{clilisting}" end="\\end{clilisting}\|%stopzone\>"