diff options
Diffstat (limited to 'generic/proof-autoloads.el')
| -rw-r--r-- | generic/proof-autoloads.el | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index 2363e248..8782d2c8 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -15,7 +15,7 @@ Indent current line of proof script" t nil) ;;;*** -;;;### (autoloads (proof-menu-define-specific proof-menu-define-main proof-menu-define-keys) "proof-menu" "generic/proof-menu.el") +;;;### (autoloads (proof-deftoggle proof-menu-define-specific proof-menu-define-main proof-menu-define-keys) "proof-menu" "generic/proof-menu.el") (autoload 'proof-menu-define-keys "proof-menu" nil nil nil) @@ -23,6 +23,10 @@ Indent current line of proof script" t nil) (autoload 'proof-menu-define-specific "proof-menu" nil nil nil) +(autoload 'proof-deftoggle "proof-menu" "\ +Define a function VAR-toggle for toggling a boolean customize setting VAR. +The toggle function uses customize-set-variable to change the variable." nil 'macro) + ;;;*** ;;;### (autoloads nil "proof-script" "generic/proof-script.el") @@ -76,8 +80,7 @@ If WAIT is an integer, wait for that many seconds afterwards." nil nil) ;;;### (autoloads (proof-splash-display-screen) "proof-splash" "generic/proof-splash.el") (autoload 'proof-splash-display-screen "proof-splash" "\ -Save window config and display Proof General splash screen. -Only do it if proof-splash-enable is non-nil." nil nil) +Save window config and display Proof General splash screen." nil nil) ;;;*** |