From 35bc77bbc8733296c08623d963e4e8b199c16b1e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 May 2000 10:41:15 +0000
Subject: Fixup loading.

---
 generic/proof-autoloads.el | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'generic/proof-autoloads.el')

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)
 
 ;;;***
 
-- 
cgit v1.2.3