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

slightly tweak coq config

Browse source
This commit is contained in:
William Ball 2025-03-17 23:23:47 -07:00
parent a3cc6c5675
commit 3940535543
Signed by: wball
GPG key ID: B8682D8137B70765
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
nvim/.config/nvim/lua/plugins/languages/coq.lua
View file

@ -10,8 +10,9 @@ return {
{ {
'tomtomjhj/vscoq.nvim', 'tomtomjhj/vscoq.nvim',
event = { 'BufReadPre *.v', 'BufNewFile *.v'}, event = { 'BufReadPre *.v', 'BufNewFile *.v'},
filetypes = 'coq',
opts = true, opts = true,
dependencies = { 'whonore/Coqtail' }, dependencies = { 'whonore/Coqtail', 'neovim/nvim-lspconfig' },
} }
-- { -- {
-- 'tomtomjhj/coq-lsp.nvim', -- 'tomtomjhj/coq-lsp.nvim',