diff options
| author | David Aspinall | 2001-09-05 17:28:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-09-05 17:28:41 +0000 |
| commit | 7e4c13dead0dcc881402036369603200c7ea2261 (patch) | |
| tree | f5a58ec1085133a728d9657eb2c836deec8205c7 | |
| parent | d03bc18316eb904b536f7c135e216c7312fff337 (diff) | |
Mention pg-toggle-visibility and its keybinding
| -rw-r--r-- | doc/ProofGeneral.texi | 10 |
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 |