diff options
author | Hendrik Tews <hendrik@askra.de> | 2013-04-19 09:01:04 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2013-04-19 09:01:04 +0000 |
commit | dc4f8c1cb9218e03bfea4a9b97d453b7c759d8cb (patch) | |
tree | e68437ba476e40f76c55fadbce9c1372e827bddb /coq | |
parent | ece250057031462ef8ccb0f33bef1b2c6552e552 (diff) |
improve doc
Diffstat (limited to 'coq')
-rw-r--r-- | coq/coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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)) |