From f08daaaa648cb6b9aedee3885b82a806d224c867 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 19 Mar 2000 06:51:33 +0000
Subject: Altered syntax a little bit so reset works for Section.

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

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 11c6df93..c323f83e 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -15,6 +15,9 @@
 "Hypotheses"
 "Hypothesis"
 "Parameter[s]?"
+;; da: 3.2 I added Section here, to try to fix undo for Sections working
+;; better.  
+"Section"				
 "Variable[s]?"
 "Global\\s-+Variable"
 ))
@@ -106,7 +109,8 @@
 "Reset"
 "Search"
 "SearchIsos"
-"Section"
+;; da: testing moving this 
+;; "Section"
 "Show\\s-+Programs"
 "Show\\s-+Proof"
 "Show\\s-+Script"
-- 
cgit v1.2.3