diff options
| author |  Assia Mahboubi <assia.mahboubi@inria.fr> | 2007-11-26 08:04:39 +0000 |
|---|---|---|
| committer | Assia Mahboubi <assia.mahboubi@inria.fr> | 2007-11-26 08:04:39 +0000 |
| commit | 18701aef52d1510be5672a70df387ddb4d6b523a (patch) | |
| tree | d9e623d636e708d42447b7080c8ff65450ab6a0a /coq | |
| parent | 3a025b59cb36cad0cd257f31b6e4b8bc22f7060f (diff) | |
colouring for Reserved Notations
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-syntax.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 2c8a365b..9a405db5 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -546,6 +546,7 @@ so for the following reasons: ("Require Export" nil "Require Export #." t "Require\\s-+Export") ("Require Import" nil "Require Import #." t "Require\\s-+Import") ("Require" nil "Require #." t "Require") + ("Reserved Notation" nil "Reserved Notation" nil "Reserved\\s-+Notation") ("Reset Extraction Inline" nil "Reset Extraction Inline." t "Reset\\s-+Extraction\\s-+Inline") ("Save" nil "Save." t "Save") ("Search" nil "Search #" nil "Search") |