From 31f4d04e84275cf602e45f9c34e56ad2e0a90d15 Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Fri, 3 Sep 2010 10:03:52 +0000 Subject: Adding some keywords. --- coq/coq-syntax.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq/coq-syntax.el') 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") -- cgit v1.2.3