aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2001-09-05 17:28:41 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2001-09-05 17:28:41 +0000
commit7e4c13dead0dcc881402036369603200c7ea2261 (patch)
treef5a58ec1085133a728d9657eb2c836deec8205c7 /doc
parentd03bc18316eb904b536f7c135e216c7312fff337 (diff)
Mention pg-toggle-visibility and its keybinding
Diffstat (limited to 'doc')
-rw-r--r--doc/ProofGeneral.texi10
1 files changed, 8 insertions, 2 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 14210cc8..8b411831 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -1870,8 +1870,10 @@ proof itself, Proof General can hide completed proofs.
You can toggle the visibility of a proof by using a context sensitive
menu triggered by @b{clicking the right mouse button on a completed
-proof}. You can also select the ``disappearing proofs'' mode from
-the menu,
+proof}, or the key @kbd{C-c v}, which runs @code{pg-toggle-visibility}.
+
+
+You can also select the ``disappearing proofs'' mode from the menu,
@lisp
Proof-General -> Options -> Disappearing Proofs
@end lisp
@@ -1889,6 +1891,10 @@ proof boundaries.
The relevant elisp functions and settings are mentioned below.
+@c TEXI DOCSTRING MAGIC: pg-toggle-visibility
+@deffn Command pg-toggle-visibility
+Toggle visibility of region under point.
+@end deffn
@c TEXI DOCSTRING MAGIC: pg-show-all-proofs
@deffn Command pg-show-all-proofs