diff options
| author | David Aspinall | 2002-01-31 18:20:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-31 18:20:02 +0000 |
| commit | bda55c7672cc0444755b76ce59a748bcc7e3ff0f (patch) | |
| tree | 640cdf26996e9eb5765dc9c2088b6d3eb8c44f47 /generic/proof-syntax.el | |
| parent | c02f5a7215698872dd38f6b7e06d3943b1067824 (diff) | |
Tweak comment
Diffstat (limited to 'generic/proof-syntax.el')
| -rw-r--r-- | generic/proof-syntax.el | 3 |
1 files changed, 2 insertions, 1 deletions
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) |