diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 16:12:37 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 16:12:37 +0000 |
commit | cb53bd815daffc15200c1e5401ea59a61a25860a (patch) | |
tree | eab36d66c198863f08f48c9d9e5615f45f813cf8 /generic/pg-user.el | |
parent | e78ef723da3eb28895691895221854ecce4d3be8 (diff) |
Add doc
Diffstat (limited to 'generic/pg-user.el')
-rw-r--r-- | generic/pg-user.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index 06906275..ba255a67 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -903,7 +903,9 @@ The function `substitute-command-keys' is called on the argument." ;;;###autoload (defun pg-identifier-near-point-query () - "Query the prover about the identifier near point." + "Query the prover about the identifier near point. +If the result is successful, we add a span to the buffer which has +a popup with the information in it." (interactive) (let* ((stend (if (region-active-p) (cons (region-beginning) (region-end)) |