diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2011-05-17 16:00:26 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2011-05-17 16:00:26 +0000 |
| commit | 933e4ed71c8ef2e06addb473b8627efe9e196b46 (patch) | |
| tree | d39ca3787d090f9571a6acf040ab05b716e27b30 /coq/coq-syntax.el | |
| parent | 1c27d4a1c20e2b1d404e561a09537c417561e264 (diff) | |
Fixed #394. There is a bug with kfont-lock-keywords. The workaround is
to change the order in which keywords appear. TO FIX.
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index b95d0345..f11fed30 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -494,15 +494,14 @@ See also `coq-prog-env' to adjust the environment." ("Extract Constant" "extrc" "Extract Constant @{id} => \"@{id}\"." nil "Extract\\s-+Constant") ("Extract Inlined Constant" "extric" "Extract Inlined Constant @{id} => \"@{id}\"." nil "Extract\\s-+Inlined\\s-+Constant") ("Extract Inductive" "extri" "Extract Inductive @{id} => \"@{id}\" [\"@{id}\" \"@{id...}\"]." nil "Extract") - ("Extraction" "extr" "Extraction @{id}." nil "Extraction") ("Extraction (in a file)" "extrf" "Extraction \"@{file}\" @{id}." nil) ("Extraction Inline" nil "Extraction Inline #." t "Extraction\\s-+Inline") ("Extraction NoInline" nil "Extraction NoInline #." t "Extraction\\s-+NoInline") ("Extraction Language" "extrlang" "Extraction Language #." t "Extraction\\s-+Language") ("Extraction Library" "extrl" "Extraction Library @{id}." nil "Extraction\\s-+Library") + ("Extraction" "extr" "Extraction @{id}." nil "Extraction") ("Focus" nil "Focus #." nil "Focus") ("Generalizable Variables" nil "Generalizable Variables #." t "Generalizable\\s-+Variables") - ("Identity Coercion" nil "Identity Coercion #." t "Identity\\s-+Coercion") ("Implicit Arguments Off" nil "Implicit Arguments Off." t "Implicit\\s-+Arguments\\s-+Off") ("Implicit Arguments On" nil "Implicit Arguments On." t "Implicit\\s-+Arguments\\s-+On") @@ -511,9 +510,9 @@ See also `coq-prog-env' to adjust the environment." ("Import" nil "Import #." t "Import") ("Infix" "inf" "Infix \"#\" := # (at level #) : @{scope}." t "Infix") ("Inspect" nil "Inspect #." nil "Inspect") - ("Locate" nil "Locate" nil "Locate") ("Locate File" nil "Locate File \"#\"." nil "Locate\\s-+File") ("Locate Library" nil "Locate Library #." nil "Locate\\s-+Library") + ("Locate" nil "Locate" nil "Locate") ("Notation (assoc)" "notas" "Notation \"#\" := # (at level #, # associativity)." t) ("Notation (at assoc)" "notassc" "Notation \"#\" := # (at level #, # associativity) : @{scope}." t) ("Notation (at at scope)" "notasc" "Notation \"#\" := # (at level #, # at level #) : @{scope}." t) |