diff options
| author | David Aspinall | 2003-02-19 14:17:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-19 14:17:31 +0000 |
| commit | 7ffb938dd2675b95505c410df3b153b82ca7aea1 (patch) | |
| tree | 880e7a54b50bd10bb70b9e1b82ced6a4c130c108 /generic/proof-autoloads.el | |
| parent | 58f90bc4befb95048be676e912a5e6446ab03027 (diff) | |
Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.
Diffstat (limited to 'generic/proof-autoloads.el')
| -rw-r--r-- | generic/proof-autoloads.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index ca7d1422..80f83c75 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -207,7 +207,7 @@ to the default toolbar." t nil) ;;;*** -;;;### (autoloads (proof-x-symbol-configure proof-x-symbol-shell-config proof-x-symbol-mode proof-x-symbol-decode-region proof-x-symbol-enable proof-x-symbol-support-maybe-available) "proof-x-symbol" "generic/proof-x-symbol.el") +;;;### (autoloads (proof-x-symbol-config-output-buffer proof-x-symbol-shell-config proof-x-symbol-mode proof-x-symbol-decode-region proof-x-symbol-enable proof-x-symbol-support-maybe-available) "proof-x-symbol" "generic/proof-x-symbol.el") (autoload 'proof-x-symbol-support-maybe-available "proof-x-symbol" "\ A test to see whether x-symbol support may be available." nil nil) @@ -230,7 +230,7 @@ takes place (it isn't used for output-only buffers)." t nil) Configure the proof shell for x-symbol, if proof-x-symbol-support<>nil. Assumes that the current buffer is the proof shell buffer." nil nil) -(autoload 'proof-x-symbol-configure "proof-x-symbol" "\ +(autoload 'proof-x-symbol-config-output-buffer "proof-x-symbol" "\ Configure the current output buffer (goals/response/trace) for X-Symbol." nil nil) ;;;*** |