diff options
| author | David Aspinall | 1999-10-06 10:43:58 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 10:43:58 +0000 |
| commit | a002dbc150cd76d6cb9cdbaba17f129e3b5bc001 (patch) | |
| tree | 36671c7091a99616fc69596808c982b71862d1b1 /doc | |
| parent | 7c941c69e4d76c9f9c0b7cf3b5779d728c8269e5 (diff) | |
Updates.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index eca6b32f..2b005810 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -949,9 +949,11 @@ Must be an active scripting buffer. @node Script processing commands @section Script processing commands @kindex C-c C-n +@kindex C-c C-u +@kindex C-c C-b +@kindex C-c C-r @kindex C-c RET @kindex C-c u -@kindex C-c C-u Here are the commands for asserting and retracting portions of the proof script, together with their default key bindings. Note that assertion @@ -1024,6 +1026,10 @@ delete the retracted region from the proof-script. Process the current buffer and set point at the end of the buffer. @end deffn +@c TEXI DOCSTRING MAGIC: proof-retract-buffer +@deffn Command proof-process-buffer +Process the current buffer and set point at the end of the buffer. +@end deffn @c TEXI DOCSTRING MAGIC: proof-active-terminator-minor-mode @deffn Command proof-active-terminator-minor-mode &optional arg |