From 933e4ed71c8ef2e06addb473b8627efe9e196b46 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 17 May 2011 16:00:26 +0000
Subject: Fixed #394. There is a bug with kfont-lock-keywords. The workaround
 is to change the order in which keywords appear. TO FIX.

---
 coq/coq-syntax.el | 5 ++---
 1 file 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)
-- 
cgit v1.2.3