syntax for coq-elpi 2.0

LPCIC · Nov 28, 2024 · e90417a · e90417a
1 parent dba0650
commit e90417a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 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.7",
+	"version": "0.0.8",
 	"publisher": "gares",
 	"license": "MIT",
 	"engines": {

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|Db Header|File|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) +(Header|Signature)?)?|Typecheck|Print|Debug|Trace( Off)?|Bound Steps|Query)\\b",
 			"name": "keyword.source.coq"
 		},
 		"vernacular-ltac": {