Sha256: 3230299ac11c1a97f08b0c8cdc726d2ffd10aaaf12d7dd69c27075165b453982
Contents?: true
Size: 1.39 KB
Versions: 8
Compression:
Stored size: 1.39 KB
Contents
{
"name": "Coq",
"scopeName": "source.coq",
"patterns": [
{
"include": "#multilinecomment"
},
{
"name": "proof.coq",
"begin": "\\b(Proof)\\.",
"end": "\\b(Qed|Defined|Abort|Admitted|Abort All)\\.",
"beginCaptures": {
"1": {
"name": "keyword.coq"
}
},
"endCaptures": {
"1": {
"name": "keyword.coq"
}
}
},
{
"match": "\\b(Axiom|Conjecture|Parameter|Parameters|Variable|Variables|Hypothesis|Hypotheses|Definition|Let|Fixpoint|CoFixpoint|Inductive|CoInductive|Remark|Fact|Corollary|Proposition|Example|Module|Theorem|Lemma)\\b",
"captures": {
"1": {
"name": "variable.coq"
}
}
},
{
"match": "\\b(Require|Proof|Qed|Type|Admitted|match|with|end|Eval|in|Check|End|Notation|forall|as|Defined|Set|fun|at|cofix|else|exists|exists2|fix|for|if|IF|let|mod|Prop|return|then|using|where|Abort)\\b",
"captures": {
"1": {
"name": "keyword.coq"
}
}
},
{
"name": "type.coq",
"match": ":.*?[,.]"
}
],
"repository": {
"multilinecomment": {
"name": "comment.coq",
"contentName": "comment.coq",
"begin": "\\(\\*",
"end": "\\*\\)",
"patterns": [
{
"name": "comment.coq",
"include": "#multilinecomment"
}
]
}
}
}
Version data entries
8 entries across 8 versions & 1 rubygems