From 1bc3a4f967499fcfe735ac9d4696030fd32709d3 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 30 Mar 2004 16:03:11 +0000
Subject: added the forall x-symbol to the indent keywords lists.

---
 coq/coq-indent.el | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/coq/coq-indent.el b/coq/coq-indent.el
index 5cc7d868..4849acae 100644
--- a/coq/coq-indent.el
+++ b/coq/coq-indent.el
@@ -13,7 +13,10 @@
 
 
 (defconst coq-indent-inner-regexp
-  (proof-regexp-alt "[[]()]" "|"
+  (proof-regexp-alt "[[]()]" "|" "šÕ" ; forall with x-symbol (nomule) 
+                                         ; must not be enclosed by \\<and \\>
+                                        ;"~" forall x-symb mule but interacts with 'not'
+
 						  (proof-ids-to-regexp   '("as"
 ;															"ALL"
 ;															"True"
@@ -59,7 +62,7 @@
   (proof-regexp-alt 
 	coq-indent-close-regexp 
 	coq-indent-open-regexp 
-	coq-indent-inner-regexp 
+	coq-indent-inner-regexp
 	coq-any-command-regexp 
 	(proof-ids-to-regexp coq-tacticals)
 	(proof-ids-to-regexp coq-tactics)))
-- 
cgit v1.2.3