diff options
Diffstat (limited to 'generic')
| -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) |