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

vim: fix lean syntax highlighting

Browse Source
This commit is contained in:
Gabriel Ebner 2016-08-14 20:45:21 +02:00
parent 81710ed792
commit 20b824270e
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
vimrc
View File

@ -96,8 +96,14 @@ Plug 'c-cube/vim-tptp'
Plug 'LaTeX-Box-Team/LaTeX-Box' Plug 'LaTeX-Box-Team/LaTeX-Box'
Plug 'SirVer/ultisnips'
Plug 'honza/vim-snippets'
Plug 'nanotech/jellybeans.vim' Plug 'nanotech/jellybeans.vim'
Plug '~/dgapt', { 'rtp': 'vim' }
Plug '~/lean', { 'rtp': 'src/vim' }
Plug 'raichoo/smt-vim' Plug 'raichoo/smt-vim'
Plug 'tkztmk/vim-vala' Plug 'tkztmk/vim-vala'