diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-12-04 09:35:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-12-04 09:35:40 +0000 |
commit | 5731732275e82a24fe9ea22640ccee58138fda8f (patch) | |
tree | da53597af6094543ef39de0f5f437fdeb95bd9a5 /generic/proof-config.el | |
parent | e9f197a40157fd8e61fdf17a4397d052a20ac339 (diff) |
docstring
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) |