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 /lsp/vsrocq.lua | |
| 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
Diffstat (limited to 'lsp/vsrocq.lua')
| -rw-r--r-- | lsp/vsrocq.lua | 10 |
1 files changed, 10 insertions, 0 deletions
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' }, +} |