syntax for elpi 2.0

LPCIC · Nov 22, 2024 · 6bab9a2 · 6bab9a2
1 parent 04c0a7d
commit 6bab9a2
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/package.json b/package.json
@@ -2,7 +2,7 @@
 	"name": "coq-elpi-lang",
 	"displayName": "Coq Elpi lang",
 	"description": "Syntax highlighting for Coq and Elpi",
-	"version": "0.0.6",
+	"version": "0.0.7",
 	"publisher": "gares",
 	"license": "MIT",
 	"engines": {

diff --git a/syntaxes/coq-elpi-quotation.tmLanguage.json b/syntaxes/coq-elpi-quotation.tmLanguage.json
@@ -30,7 +30,7 @@
 	"repository": {
 		"hoas": {
 			"name": "keyword.control.coq",
-			"match": "(?<![-\\.+])\\b(sort|global|fun|prod|let|app|match|fix|cofix|proj)\\b"
+			"match": "(?<![-\\.+])\\b(sort|global|fun|prod|let|app|match|fix|cofix|mfix|mcofix|proj)\\b"
 		},
 		"gref": {
 			"name": "string.other",

diff --git a/syntaxes/coq-elpi-vernacular.tmLanguage.json b/syntaxes/coq-elpi-vernacular.tmLanguage.json
@@ -6,7 +6,7 @@
 	],
 	"repository":{
 		"vernacular": {
-			"match": "\\bElpi ((?!lp:)[a-z][a-zA-Z0-9_\\.]*|(Program|Command|Tactic|Db|Export)|Accumulate( (?!lp:)[a-z][a-zA-Z0-9_\\.]*)?( (Files?|Db))?|Typecheck|Print|Debug|Trace( Off)?|Bound Steps|Query)\\b",
+			"match": "\\bElpi ((?!lp:)[a-z][a-zA-Z0-9_\\.]*|(Program|Command|Tactic|Db|Db Header|File|Export)|Accumulate( (?!lp:)[a-z][a-zA-Z0-9_\\.]*)?( (Files?|Db))?|Typecheck|Print|Debug|Trace( Off)?|Bound Steps|Query)\\b",
 			"name": "keyword.source.coq"
 		},
 		"vernacular-ltac": {