aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
diff options
context:
space:
mode:
authorGravatar Hendrik Tews <hendrik@askra.de>2013-04-19 09:01:04 +0000
committerGravatar Hendrik Tews <hendrik@askra.de>2013-04-19 09:01:04 +0000
commitdc4f8c1cb9218e03bfea4a9b97d453b7c759d8cb (patch)
treee68437ba476e40f76c55fadbce9c1372e827bddb /coq
parentece250057031462ef8ccb0f33bef1b2c6552e552 (diff)
improve doc
Diffstat (limited to 'coq')
-rw-r--r--coq/coq.el2
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq.el b/coq/coq.el
index d89018ea..77af9b9e 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1262,7 +1262,7 @@ flag Printing All set."
(defpacustom hide-additional-subgoals nil
- "Only show the current goal, hiding additional subgoals."
+ "Show all subgoals if off, show only the current goal if on."
:type 'boolean
:safe 'booleanp
:eval (coq-hide-additional-subgoals-switch))