diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-autoloads.el | 22 |
1 files changed, 5 insertions, 17 deletions
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 @@ -7,17 +7,6 @@ ;;;*** -;;;### (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") (autoload 'proof-depends-process-dependencies "proof-depends" "\ @@ -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) ;;;*** |