diff options
author | 2000-06-01 14:57:48 +0000 | |
---|---|---|
committer | 2000-06-01 14:57:48 +0000 | |
commit | 9c3462616332b2e329d211b60321bd964637237b (patch) | |
tree | 862f97c6982c4f8bdc19c44da4bf7ab4437bf0fe /generic/proof-autoloads.el | |
parent | d6a542b3c810191aa2a9c6180f541d139102f884 (diff) |
Updated
Diffstat (limited to 'generic/proof-autoloads.el')
-rw-r--r-- | generic/proof-autoloads.el | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index 34ebf022..7d018a00 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -17,7 +17,7 @@ Indent current line of proof script, if indentation enabled." t nil) ;;;*** -;;;### (autoloads (defpacustom proof-menu-define-specific proof-menu-define-main proof-menu-define-keys) "proof-menu" "generic/proof-menu.el") +;;;### (autoloads (defpacustom 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) @@ -25,6 +25,12 @@ Indent current line of proof script, if indentation enabled." t nil) (autoload 'proof-menu-define-specific "proof-menu" nil nil nil) +(autoload 'proof-defshortcut "proof-menu" "\ +Define shortcut function FN to insert STRING, optional keydef KEY. +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 '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 |