From ed90c81cc76fce5b886d9c3e2d5c8a5011d9df91 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 09:24:39 +0000
Subject: Updated

---
 generic/proof-autoloads.el | 22 +++++-----------------
 1 file changed, 5 insertions(+), 17 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el
index 4cffee2b..b76b9b52 100644
--- a/generic/proof-autoloads.el
+++ b/generic/proof-autoloads.el
@@ -5,17 +5,6 @@
 
 (package-provide 'ProofGeneral :version "3.3pre010320" :type 'regular)
 
-;;;***
-
-;;;### (autoloads (proof-thy-menu-define-deps proof-depends-process-dependencies) "old-proof-depends" "generic/old-proof-depends.el")
-
-(autoload 'proof-depends-process-dependencies "old-proof-depends" "\
-Process dependencies reported by prover, for NAME in span GSPAN.
-Called from `proof-done-advancing' when a save is processed and
-proof-last-theorem-dependencies is set." nil nil)
-
-(autoload 'proof-thy-menu-define-deps "old-proof-depends" nil nil nil)
-
 ;;;***
 
 ;;;### (autoloads (proof-depends-process-dependencies) "proof-depends" "generic/proof-depends.el")
@@ -34,13 +23,11 @@ Configure Proof General for proof-assistant using BODY as a setq body." nil 'mac
 
 ;;;***
 
-;;;### (autoloads (proof-indent-region proof-indent-line) "proof-indent" "generic/proof-indent.el")
+;;;### (autoloads (proof-indent-line) "proof-indent" "generic/proof-indent.el")
 
 (autoload 'proof-indent-line "proof-indent" "\
 Indent current line of proof script, if indentation enabled." t nil)
 
-(autoload 'proof-indent-region "proof-indent" nil t nil)
-
 ;;;***
 
 ;;;### (autoloads (defpacustom proof-defpacustom-fn proof-defshortcut proof-menu-define-specific proof-menu-define-main proof-menu-define-keys) "proof-menu" "generic/proof-menu.el")
@@ -168,8 +155,9 @@ Turn on or off support for x-symbol, initializing if necessary.
 Calls proof-x-symbol-toggle-clean-buffers afterwards." nil nil)
 
 (autoload 'proof-x-symbol-decode-region "proof-x-symbol" "\
-Call (x-symbol-decode-region A Z), if x-symbol support is enabled.
-This converts tokens in the region into X-Symbol characters." nil nil)
+Call (x-symbol-decode-region START END), if x-symbol support is enabled.
+This converts tokens in the region into X-Symbol characters.
+Return new END value." nil nil)
 
 (autoload 'proof-x-symbol-mode "proof-x-symbol" "\
 Turn on/off x-symbol mode in current buffer, from proof-x-symbol-enable.
@@ -177,7 +165,7 @@ The X-Symbol minor mode is only useful in buffers where symbol input
 takes place (it isn't used for output-only buffers)." t nil)
 
 (autoload 'proof-x-symbol-configure "proof-x-symbol" "\
-Configure the current buffer (goals or response) for X-Symbol." nil nil)
+Configure the current output buffer (goals/response/trace) for X-Symbol." nil nil)
 
 ;;;***
 
-- 
cgit v1.2.3