docs: update configs.md

skip-checks: true
neovim · Oct 2, 2024 · 6d25cf1 · 6d25cf1
1 parent c47f2ab
commit 6d25cf1
Show file tree

Hide file tree

Showing 2 changed files with 64 additions and 0 deletions.
diff --git a/doc/configs.md b/doc/configs.md
@@ -325,6 +325,7 @@ Nvim by running `:help lspconfig-all`.
 - [visualforce_ls](#visualforce_ls)
 - [vls](#vls)
 - [volar](#volar)
+- [vscoqtop](#vscoqtop)
 - [vtsls](#vtsls)
 - [vuels](#vuels)
 - [wgsl_analyzer](#wgsl_analyzer)
@@ -13703,6 +13704,37 @@ require'lspconfig'.volar.setup{}
   ```
 
 
+## vscoqtop
+
+https://github.com/coq-community/vscoq
+
+
+
+**Snippet to enable the language server:**
+```lua
+require'lspconfig'.vscoqtop.setup{}
+```
+
+
+**Default values:**
+  - `cmd` : 
+  ```lua
+  { "vscoqtop" }
+  ```
+  - `filetypes` : 
+  ```lua
+  { "coq" }
+  ```
+  - `root_dir` : 
+  ```lua
+  see source file
+  ```
+  - `single_file_support` : 
+  ```lua
+  true
+  ```
+
+
 ## vtsls
 
 https://github.com/yioneko/vtsls

diff --git a/doc/configs.txt b/doc/configs.txt
@@ -325,6 +325,7 @@ Nvim by running `:help lspconfig-all`.
 - [visualforce_ls](#visualforce_ls)
 - [vls](#vls)
 - [volar](#volar)
+- [vscoqtop](#vscoqtop)
 - [vtsls](#vtsls)
 - [vuels](#vuels)
 - [wgsl_analyzer](#wgsl_analyzer)
@@ -13703,6 +13704,37 @@ require'lspconfig'.volar.setup{}
   ```
 
 
+## vscoqtop
+
+https://github.com/coq-community/vscoq
+
+
+
+**Snippet to enable the language server:**
+```lua
+require'lspconfig'.vscoqtop.setup{}
+```
+
+
+**Default values:**
+  - `cmd` : 
+  ```lua
+  { "vscoqtop" }
+  ```
+  - `filetypes` : 
+  ```lua
+  { "coq" }
+  ```
+  - `root_dir` : 
+  ```lua
+  see source file
+  ```
+  - `single_file_support` : 
+  ```lua
+  true
+  ```
+
+
 ## vtsls
 
 https://github.com/yioneko/vtsls