diff options
author | Hendrik Tews <hendrik@askra.de> | 2012-01-03 11:00:19 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2012-01-03 11:00:19 +0000 |
commit | 5de06e10072716f5acc9f61a5af352a2ab455c34 (patch) | |
tree | a2eabc4c370e693466c41a01b4b8afc3ce41223b /coq | |
parent | 9e106ef2d8377a8a12285eb79e5a704751cebdcb (diff) |
hide the dependent evars line
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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'." |