From 3e9fc0816fc333ff80d158afa26bb70e403e6b1f Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 15 Dec 1998 12:10:34 +0000
Subject: made many minor changes to the documentation

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

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index 511c6993..b7ee72c7 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -404,7 +404,6 @@
         proof-shell-error-regexp coq-error-regexp
 	proof-shell-interrupt-regexp coq-interrupt-regexp
         proof-shell-assumption-regexp coq-id
-        proof-shell-goal-regexp coq-goal-regexp
         proof-shell-first-special-char ?\360
         proof-shell-wakeup-char ?\371 ; done: prompt
         ; The next three represent path annotation information
-- 
cgit v1.2.3