syntax: Highlight Goal in any context

coq · Oct 28, 2024 · 32c76e5 · 32c76e5
1 parent 77b4e36
commit 32c76e5
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/client/syntax/coq.tmLanguage.json b/client/syntax/coq.tmLanguage.json
@@ -15,7 +15,7 @@
       "name": "keyword.control.import.coq"
     },
     {
-      "match": "\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition|Goal)\\s+((\\p{L}|[_\\u00A0])(\\p{L}|[0-9_\\u00A0'])*)",
+      "match": "\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition)\\s+((\\p{L}|[_\\u00A0])(\\p{L}|[0-9_\\u00A0'])*)",
       "comment": "Theorem declarations",
       "captures": {
         "1": {
@@ -26,6 +26,10 @@
         }
       }
     },
+    {
+      "match": "\\bGoal\\b",
+      "name": "keyword.source.coq"
+    },
     {
       "match": "\\b(Parameters?|Axioms?|Conjectures?|Variables?|Hypothesis|Hypotheses)(\\s+Inline)?\\b\\s*\\(?\\s*((\\p{L}|[_\\u00A0])(\\p{L}|[0-9_\\u00A0'])*)",
       "comment": "Assumptions",