From 79bd17cad94a6cbf6a525fe9a1d0b0b7aeeaf844 Mon Sep 17 00:00:00 2001
From: Juliette <juliette@ponsonnet.org>
Date: Fri, 6 Dec 2024 14:10:16 +0100
Subject: [PATCH] =?UTF-8?q?=E2=9C=A8=20Added=20coq=20support?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Only added the lsp support as I found no grammar
---
 book/src/generated/lang-support.md |  1 +
 languages.toml                     | 15 +++++++++++++++
 2 files changed, 16 insertions(+)

diff --git a/book/src/generated/lang-support.md b/book/src/generated/lang-support.md
index 0c3bf78e336d..4634b5667fd6 100644
--- a/book/src/generated/lang-support.md
+++ b/book/src/generated/lang-support.md
@@ -25,6 +25,7 @@
 | cmake | ✓ | ✓ | ✓ | `cmake-language-server` |
 | comment | ✓ |  |  |  |
 | common-lisp | ✓ |  | ✓ | `cl-lsp` |
+| coq |  |  |  | `coq-lsp` |
 | cpon | ✓ |  | ✓ |  |
 | cpp | ✓ | ✓ | ✓ | `clangd` |
 | crystal | ✓ | ✓ |  | `crystalline` |
diff --git a/languages.toml b/languages.toml
index ae8cc7e92b97..e075f7798329 100644
--- a/languages.toml
+++ b/languages.toml
@@ -21,6 +21,7 @@ cl-lsp = { command = "cl-lsp", args = [ "stdio" ] }
 clangd = { command = "clangd" }
 clojure-lsp = { command = "clojure-lsp" }
 cmake-language-server = { command = "cmake-language-server" }
+coq-lsp = { command = "coq-lsp" }
 crystalline = { command = "crystalline", args = ["--stdio"] }
 cs = { command = "cs", args = ["launch", "--contrib", "smithy-language-server", "--", "0"] }
 csharp-ls = { command = "csharp-ls" }
@@ -3986,3 +3987,17 @@ indent = { tab-width = 4, unit = "    " }
 [[grammar]]
 name = "vento"
 source = { git = "https://github.com/ventojs/tree-sitter-vento", rev = "3321077d7446c1b3b017c294fd56ce028ed817fe" }
+
+[[language]]
+name = "coq"
+scope = "source.v"
+file-types = ["v"]
+block-comment-tokens = { start = "(*", end = "*)" }
+language-servers = [ "coq-lsp" ]
+indent = { tab-width = 2, unit = "  " }
+
+[language.auto-pairs]
+'(' = ')'
+'{' = '}'
+'[' = ']'
+'"' = '"'