From cb53bd815daffc15200c1e5401ea59a61a25860a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 1 Oct 2010 16:12:37 +0000
Subject: Add doc

---
 generic/pg-user.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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))
-- 
cgit v1.2.3