From dc4f8c1cb9218e03bfea4a9b97d453b7c759d8cb Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Fri, 19 Apr 2013 09:01:04 +0000 Subject: improve doc --- coq/coq.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'coq') 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)) -- cgit v1.2.3