diff options
| -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' }, +} |