diff options
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 1f46212e..c965e754 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -758,7 +758,7 @@ At present this is used only by the `proof-easy-config' macro." (defcustom proof-script-span-context-menu-extensions nil "Extensions for the in-span context sensitive menu. This should be a function which accepts three arguments: SPAN IDIOM NAME. -See pg-user.el: pg-create-in-span-context-menu for more hints." +See pg-user.el: `pg-create-in-span-context-menu' for more hints." :type 'function :group 'proof-script) |