diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-08 09:10:43 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-08 09:10:43 +0000 |
commit | aa05014e57a142a4df724afb7566a5fcb9791036 (patch) | |
tree | aed73e5958ec2ea896e3a0d276b7ad95b7c83124 /doc/ProofGeneral.texi | |
parent | 633fe3149a58351c92434ab77cf0a776fd461261 (diff) |
Update magic
Diffstat (limited to 'doc/ProofGeneral.texi')
-rw-r--r-- | doc/ProofGeneral.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index ad51266e..6ec9d037 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -1449,7 +1449,6 @@ Retract the current buffer, and maybe move point to the start. @deffn Command proof-electric-terminator-toggle &optional arg Toggle @samp{@code{proof-electric-terminator-enable}}. With @var{arg}, turn on iff ARG>0.@* This function simply uses @code{customize-set-variable} to set the variable. -It was constructed with @samp{@code{proof-deftoggle-fn}}. @end deffn @c TEXI DOCSTRING MAGIC: proof-assert-until-point-interactive @@ -1869,10 +1868,11 @@ keyboard, you can use the keybinding: @code{proof-autosend-toggle} @end table - - @c TEXI DOCSTRING MAGIC: proof-autosend-toggle - +@deffn Command proof-autosend-toggle &optional arg +Toggle @samp{@code{proof-autosend-enable}}. With @var{arg}, turn on iff ARG>0.@* +This function simply uses @code{customize-set-variable} to set the variable. +@end deffn @node Visibility of completed proofs |