From a665b99dcd71b6763e9a8484cf77af7134a7a94f Mon Sep 17 00:00:00 2001
From: simon-dima <126682907+simon-dima@users.noreply.github.com>
Date: Sun, 16 Nov 2025 18:34:39 +0100
Subject: feat: vsrocq, rename "vscoqtop" config #4176

---
 lsp/vscoqtop.lua |  6 +-----
 lsp/vsrocq.lua   | 10 ++++++++++
 2 files changed, 11 insertions(+), 5 deletions(-)
 create mode 100644 lsp/vsrocq.lua

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' },
+}
-- 
cgit v1.2.3-70-g09d2