aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-syntax.el
diff options
context:
space:
mode:
authorGravatar Pierre Courtieu <courtieu@lri.fr>2010-09-03 10:03:52 +0000
committerGravatar Pierre Courtieu <courtieu@lri.fr>2010-09-03 10:03:52 +0000
commit31f4d04e84275cf602e45f9c34e56ad2e0a90d15 (patch)
tree26a652823c6cc1438e0a70e798ac5bba9b587901 /coq/coq-syntax.el
parent904953a4df7fc2598a46fb59f2737f411a1469d0 (diff)
Adding some keywords.
Diffstat (limited to 'coq/coq-syntax.el')
-rw-r--r--coq/coq-syntax.el2
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index d6eef807..3d820a25 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -533,8 +533,8 @@ See also `coq-prog-env' to adjust the environment."
("Notation (at at scope)" "notasc" "Notation \"#\" := # (at level #, # at level #) : @{scope}." t)
("Notation (at at)" "nota" "Notation \"#\" := # (at level #, # at level #)." t)
("Notation (only parsing)" "notsp" "Notation # := # (only parsing)." t)
- ("Local Notation (only parsing)" "lnotsp" "Local Notation # := # (only parsing)." t)
("Local Notation" "lnots" "Local Notation # := #." t "Local\\s-+Notation")
+ ("Local Notation (only parsing)" "lnotsp" "Local Notation # := # (only parsing)." t)
("Notation (simple)" "nots" "Notation # := #." t "Notation")
("Typeclasses Opaque" nil "Typeclasses Opaque #." nil "Typeclasses\\s-+Opaque")
("Opaque" nil "Opaque #." nil "Opaque")