Elpi Export

Author: gares

CHANGELOG.md

@@ -1,5 +1,9 @@
 # Change Log
 
+## 0.0.4
+
+- Elpi Export <qualid>.
+
 ## 0.0.3
 
 - depend on maximedenes.vscoq rather than the old siegebell.vscoq

package.json

@@ -2,7 +2,7 @@
 	"name": "coq-elpi-lang",
 	"displayName": "Coq Elpi lang",
 	"description": "Syntax highlighting for Coq and Elpi",
-	"version": "0.0.3",
+	"version": "0.0.4",
 	"publisher": "gares",
 	"license": "MIT",
 	"engines": {

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)|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|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": {