From 30ab650c6a1c36bbc078011557b9957fc083fd68 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Sep 2001 12:09:26 +0000
Subject: Add Lemma to exclusion for coq-goal-command-p.

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

diff --git a/coq/coq.el b/coq/coq.el
index ffc42aff..8a71696f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -194,7 +194,8 @@
 (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 "Definition.*:=" str))))
+       (not (proof-string-match "Definition.*:=" str))
+       (not (proof-string-match "Lemma.*:=" str))))
 
 ;; TODO : add the stuff to handle the "Correctness" command
 
-- 
cgit v1.2.3