diff options
| author | David Aspinall | 2001-07-09 15:37:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-07-09 15:37:36 +0000 |
| commit | 87a54c636a42cc9e7f5b39c28409b683f83e0c28 (patch) | |
| tree | 74b0e076d87bcd72ebcefd3e45fab59e246d571f | |
| parent | 9a15e887ccca24fdf51b20c91d87acd0e84d00e3 (diff) | |
Clean for compile: new autload
| -rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 6eb22de9..f8e8ff7b 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -444,6 +444,8 @@ the form of the menu entry for the setting.") (proof-defstringset-fn pasym) t))))) +;;; autoload for compiled version: used in macro proof-defpacustom +;;;###autoload (defun proof-defpacustom-fn (name val args) "As for macro `defpacustom' but evaluation arguments." (let (newargs setting) |