From 97d224ef213d03bb52e8bb5c4b5b4168d124fa8e Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 11 May 2004 14:17:09 +0000
Subject: adding the "Comments" keyword in state-preserving commands.

---
 coq/coq-syntax.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index d8df5353..3c1e27e4 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -301,6 +301,7 @@ Print and Check commands, put the following line in your .emacs:
 	    "Add\\s-+Rec\\s-+LoadPath"
 	    "Cd"
 	    "Check"
+		 "Comments"
 	    "DelPath"
 	    "Eval"
 	    "Extraction"
-- 
cgit v1.2.3