From 43b9f5f09ad12b7235f0a61dcb8f4ec6559e9e59 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 28 Nov 2005 12:49:05 +0000
Subject: added some keyword to coq tacics.

---
 coq/coq-syntax.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 65e63b60..6ed5834f 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -318,7 +318,8 @@ Print and Check commands, put the following line in your .emacs:
     "Import"
     "Infix"
     "Load"
-	 "Notation"
+    "Notation"
+    "Open\\s-+Scope"
     "Read\\s-+Module"
     "Remove\\s-+LoadPath"
     "Remove\\s-+Printing\\s-+If\\s-+ident"
-- 
cgit v1.2.3