sanchayanmaity/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

nvim: plugins: Drop vim-coq-plugin

Browse source 
coqtail can provide syntax highlighting. Not sure why we ever
added vim-coq-plugin.
This commit is contained in:
Sanchayan Maity 2022-01-15 16:22:59 +05:30
parent c35ca910e4
commit 5f26c276ef
2 changed files with 1 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
nvim/.config/nvim/after/plugin/coqtail.vim
View file

@ -1,2 +0,0 @@
let g:coqtail_nosyntax = 1
let g:coqtail_noindent_comment = 1

5
nvim/.config/nvim/lua/plugins.lua
View file

@ -74,10 +74,7 @@ local init = function ()
use 'mfussenegger/nvim-lint' use 'mfussenegger/nvim-lint'
use 'simrat39/rust-tools.nvim' use 'simrat39/rust-tools.nvim'
-- Coq -- Coq
use { use 'whonore/Coqtail'
'whonore/Coqtail',
'jlapolla/vim-coq-plugin'
}
-- treesitter based syntax highlighting -- treesitter based syntax highlighting
use { use {
'nvim-treesitter/nvim-treesitter', 'nvim-treesitter/nvim-treesitter',