diff options
| author | simon-dima <126682907+simon-dima@users.noreply.github.com> | 2025-11-16 18:34:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-11-16 09:34:39 -0800 |
| commit | a665b99dcd71b6763e9a8484cf77af7134a7a94f (patch) | |
| tree | c068c03192ca32a013cc585e02b60021c098da47 | |
| parent | docs: add deprecation notice to lua/lspconfig/configs #4189 (diff) | |
| download | nvim-lspconfig-a665b99dcd71b6763e9a8484cf77af7134a7a94f.tar nvim-lspconfig-a665b99dcd71b6763e9a8484cf77af7134a7a94f.tar.gz nvim-lspconfig-a665b99dcd71b6763e9a8484cf77af7134a7a94f.tar.bz2 nvim-lspconfig-a665b99dcd71b6763e9a8484cf77af7134a7a94f.tar.lz nvim-lspconfig-a665b99dcd71b6763e9a8484cf77af7134a7a94f.tar.xz nvim-lspconfig-a665b99dcd71b6763e9a8484cf77af7134a7a94f.tar.zst nvim-lspconfig-a665b99dcd71b6763e9a8484cf77af7134a7a94f.zip | |
feat: vsrocq, rename "vscoqtop" config #4176
| -rw-r--r-- | lsp/vscoqtop.lua | 6 | ||||
| -rw-r--r-- | lsp/vsrocq.lua | 10 |
2 files changed, 11 insertions, 5 deletions
diff --git a/lsp/vscoqtop.lua b/lsp/vscoqtop.lua index bfa8a613..41b38eb4 100644 --- a/lsp/vscoqtop.lua +++ b/lsp/vscoqtop.lua @@ -3,8 +3,4 @@ --- https://github.com/coq-community/vscoq ---@type vim.lsp.Config -return { - cmd = { 'vscoqtop' }, - filetypes = { 'coq' }, - root_markers = { '_CoqProject', '.git' }, -} +error("The 'vscoqtop' config has been renamed to 'vsrocq'.") diff --git a/lsp/vsrocq.lua b/lsp/vsrocq.lua new file mode 100644 index 00000000..cfd2909c --- /dev/null +++ b/lsp/vsrocq.lua @@ -0,0 +1,10 @@ +---@brief +--- +--- https://github.com/rocq-prover/vsrocq + +---@type vim.lsp.Config +return { + cmd = { 'vsrocqtop' }, + filetypes = { 'coq' }, + root_markers = { '_RocqProject', '_CoqProject', '.git' }, +} |