From c6ebd146613e4255127c6d1c8036bc4a60a9aac6 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Wed, 12 Feb 2003 16:18:50 +0000
Subject: Added the keyword "Local :=" to the coq-goal-command-p function, like
 Definition.

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

diff --git a/coq/coq.el b/coq/coq.el
index b9c86556..1240eda5 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -235,6 +235,7 @@
 (defun coq-goal-command-p (str)
   "Decide whether argument is a goal or not"
   (and (proof-string-match coq-goal-command-regexp str)
+       (not (proof-string-match "Local.*:=" str))
        (not (proof-string-match "Definition.*:=" str))
        (not (proof-string-match "Module.*:=" str))
        (not (proof-string-match "Declare Module.*:" str)) ;neither : or :=
-- 
cgit v1.2.3