diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-menu.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 5337c486..0821b4fa 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -254,6 +254,7 @@ ;;; Define stuff from favourites +;;;###autoload (defmacro proof-defshortcut (fn string &optional key) "Define shortcut function FN to insert STRING, optional keydef KEY. This is intended for defining proof assistant specific functions. |