From bda55c7672cc0444755b76ce59a748bcc7e3ff0f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 31 Jan 2002 18:20:02 +0000
Subject: Tweak comment

---
 generic/proof-syntax.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 4da2b5a2..1cfea82a 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -98,7 +98,8 @@ nil if a region cannot be found."
   (if regexp (proof-looking-at regexp)))
 
 (defun proof-looking-at-syntactic-context ()
-  "Determine if current point is at beginning or within comment/string context."
+  "Determine if current point is at beginning or within comment/string context.
+If so, return non-nil."
   (or
    (proof-buffer-syntactic-context)
    (proof-looking-at-safe proof-comment-start-regexp)
-- 
cgit v1.2.3