From 5de06e10072716f5acc9f61a5af352a2ab455c34 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Tue, 3 Jan 2012 11:00:19 +0000
Subject: hide the dependent evars line

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

diff --git a/coq/coq.el b/coq/coq.el
index f36e4edd..286e3694 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -182,7 +182,7 @@ See also `coq-hide-additional-subgoals'."
   :type '(choice regexp (const nil))
   :group 'coq)
 
-(defcustom coq-end-goals-regexp-show-subgoals nil
+(defcustom coq-end-goals-regexp-show-subgoals "\n(dependent evars:"
   "Regexp for `proof-shell-end-goals-regexp' when showing all subgoals.
 A setting of nil means show all output from Coq. See also
 `coq-hide-additional-subgoals'."
-- 
cgit v1.2.3