diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-03-06 14:59:33 +0100 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-03-06 14:59:33 +0100 |
| commit | c907b5717fd4ef98a5774ab568e2c16d25ce2786 (patch) | |
| tree | 0b708d7b4d0d90d4e6bdc09e1326af9974c761b0 | |
| parent | d0801d05923278f3dd908c7965085cc052063944 (diff) | |
Fix syntax highlighting of Save.
| -rw-r--r-- | ide/coq.lang | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ide/coq.lang b/ide/coq.lang index 94ee77ae1..d634bc1d6 100644 --- a/ide/coq.lang +++ b/ide/coq.lang @@ -33,7 +33,7 @@ <define-regex id="mult_decl">(Hypothes[ie]s)|(Axiom(s)?)|(Variable(s)?)|(Parameter(s)?)|(Context)|(Implicit\%{space}+Type(s)?)</define-regex> <define-regex id="locality">(((Local)|(Global))\%{space}+)?</define-regex> <define-regex id="begin_proof">(Theorem)|(Lemma)|(Fact)|(Remark)|(Corollary)|(Proposition)|(Property)</define-regex> - <define-regex id="end_proof">(Qed)|(Defined)|(Admitted)|(Abort)</define-regex> + <define-regex id="end_proof">(Qed)|(Defined)|(Admitted)|(Abort)|(Save)</define-regex> <define-regex id="decl_head">((?'gal'\%{locality}(Program\%{space}+)?(\%{single_decl}|\%{begin_proof}))\%{space}+(?'id'\%{ident}))|((?'gal4list'\%{mult_decl})(?'id_list'(\%{space}+\%{ident})*))|(?'gal2'Goal)</define-regex> <context id="escape-seq" style-ref="escape"> @@ -158,7 +158,6 @@ <keyword>Load</keyword> <keyword>Undo</keyword> <keyword>Print</keyword> - <keyword>Save</keyword> <keyword>Comments</keyword> <keyword>Solve\%{space}+Obligation</keyword> <keyword>((Uns)|(S))et(\%{space}+\%{ident})+</keyword> |