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

Use lean.vim

This commit is contained in:
Gabriel Ebner 2021-05-31 10:59:01 +02:00
parent cef8ba662b
commit 20e43ac5f6
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
vimrc
View File

@ -113,8 +113,12 @@ Plug 'hrsh7th/nvim-compe'
if isdirectory(expand('~/lean.nvim'))
Plug '~/lean.nvim'
else
" Plug 'Julian/lean.nvim'
Plug 'gebner/lean.nvim'
Plug 'Julian/lean.nvim'
endif
if isdirectory(expand('~/lean.vim'))
Plug '~/lean.vim'
else
Plug 'leanprover/lean.vim'
endif
Plug 'neovim/nvim-lspconfig'
@ -308,6 +312,7 @@ hi LspReferenceWrite cterm=bold ctermbg=red guibg=LightYellow
hi LspDiagnosticsDefaultError cterm=bold ctermfg=Red
hi LspDiagnosticsDefaultWarning cterm=bold ctermfg=Yellow
hi LspDiagnosticsDefaultInformation ctermfg=Blue
hi link SpecialChar Character
au syntax leaninfo setl scl=no