diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-15 23:32:52 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-15 23:32:52 +0000 |
commit | 5e0fbb62b83ad87471da8306b0f200319010619f (patch) | |
tree | db5715dedfb73bdf7284a0abe21ccf7c9f1bce9a /generic/proof-autoloads.el | |
parent | 89245a70dc0e6b3ab084f1704e228081069a6f82 (diff) |
Updated
Diffstat (limited to 'generic/proof-autoloads.el')
-rw-r--r-- | generic/proof-autoloads.el | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index ab02df2b..d6e999ab 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -7,6 +7,20 @@ ;;;*** +;;;### (autoloads (pg-pgip-process-cmd) "pg-pgip" "generic/pg-pgip.el") + +(autoload 'pg-pgip-process-cmd "pg-pgip" "\ +Process the command in PGIP, which should be parsed XML according to pg-xml-parse-*." nil nil) + +;;;*** + +;;;### (autoloads (pg-xml-parse-string) "pg-xml" "generic/pg-xml.el") + +(autoload 'pg-xml-parse-string "pg-xml" "\ +Parse string in ARG, same as pg-xml-parse-buffer." nil nil) + +;;;*** + ;;;### (autoloads (proof-dependency-in-span-context-menu proof-depends-process-dependencies) "proof-depends" "generic/proof-depends.el") (autoload 'proof-depends-process-dependencies "proof-depends" "\ @@ -151,7 +165,7 @@ to the default toolbar." t nil) ;;;*** -;;;### (autoloads (proof-x-symbol-configure proof-x-symbol-mode proof-x-symbol-decode-region proof-x-symbol-enable) "proof-x-symbol" "generic/proof-x-symbol.el") +;;;### (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" "generic/proof-x-symbol.el") (autoload 'proof-x-symbol-enable "proof-x-symbol" "\ Turn on or off support for x-symbol, initializing if necessary. @@ -167,6 +181,10 @@ Turn on/off x-symbol mode in current buffer, from proof-x-symbol-enable. 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-shell-config "proof-x-symbol" "\ +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" "\ Configure the current output buffer (goals/response/trace) for X-Symbol." nil nil) |