diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-07-09 15:37:20 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-07-09 15:37:20 +0000 |
| commit | 9a15e887ccca24fdf51b20c91d87acd0e84d00e3 (patch) | |
| tree | d253cada617b9951309fe33ae0d0a49770572a6f /generic/proof-autoloads.el | |
| parent | 1230ca4d4bddbd2b936203b0deb8ed8b7cdb0090 (diff) | |
Refresh
Diffstat (limited to 'generic/proof-autoloads.el')
| -rw-r--r-- | generic/proof-autoloads.el | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index 75b84093..c3710c1a 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -3,7 +3,7 @@ ;;;### (autoloads nil "_pkg" "generic/_pkg.el") -(package-provide 'ProofGeneral :version 3\.3pre010320 :type 'regular) +(package-provide 'ProofGeneral :version "3.3pre010320" :type 'regular) ;;;*** @@ -23,7 +23,7 @@ Indent current line of proof script, if indentation enabled." t nil) ;;;*** -;;;### (autoloads (defpacustom proof-defshortcut proof-menu-define-specific proof-menu-define-main proof-menu-define-keys) "proof-menu" "generic/proof-menu.el") +;;;### (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") (autoload 'proof-menu-define-keys "proof-menu" nil nil nil) @@ -37,6 +37,9 @@ This is intended for defining proof assistant specific functions. STRING is inserted using `proof-insert', which see. KEY is added onto proof-assistant map." nil 'macro) +(autoload 'proof-defpacustom-fn "proof-menu" "\ +As for macro `defpacustom' but evaluation arguments." nil nil) + (autoload 'defpacustom "proof-menu" "\ Define a setting NAME for the current proof assitant, default VAL. NAME should correspond to some internal setting, flag, etc, for the |