diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-08 09:57:12 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-08 09:57:12 +0000 |
| commit | f810ee2ebc41844c07458888a0030dcf5122a988 (patch) | |
| tree | 0abd2c724cb12eabb05a7d5473d3f022417356a4 /generic/proof-autoloads.el | |
| parent | 0d884890e6c75cf93e3f647bf40d399345088c71 (diff) | |
Fix autoload for context menu; add proof-shell-show-dependency-cmd.
Diffstat (limited to 'generic/proof-autoloads.el')
| -rw-r--r-- | generic/proof-autoloads.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index b76b9b52..ab02df2b 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -7,13 +7,16 @@ ;;;*** -;;;### (autoloads (proof-depends-process-dependencies) "proof-depends" "generic/proof-depends.el") +;;;### (autoloads (proof-dependency-in-span-context-menu proof-depends-process-dependencies) "proof-depends" "generic/proof-depends.el") (autoload 'proof-depends-process-dependencies "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-dependency-in-span-context-menu "proof-depends" "\ +Make a portion of a context-sensitive menu showing proof dependencies." nil nil) + ;;;*** ;;;### (autoloads (proof-easy-config) "proof-easy-config" "generic/proof-easy-config.el") |