tdpeuter/sisyphus
tdpeuter/sisyphus
1
Fork 0
Code Issues 4 Pull requests Projects Releases Packages Wiki Activity

feat(vim): Add Coq support

Browse source
This commit is contained in:
Tibo De Peuter 2024-10-24 15:29:38 +02:00
parent bdef46f0b2
commit b25f1f9f4b
Signed by: tdpeuter
GPG key ID: 38297DE43F75FFE2
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
stow/vim/.vimrc
View file

@ -82,6 +82,9 @@ Plug 'prabirshrestha/vim-lsp'
Plug 'sheerun/vim-polyglot' Plug 'sheerun/vim-polyglot'
Plug 'vifm/vifm.vim' Plug 'vifm/vifm.vim'
" Coq
Plug 'whonore/Coqtail'
call plug#end() call plug#end()
" }}} " }}}