made many minor changes to the documentation

1 files changed, 0 insertions, 1 deletions

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