diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-17 13:50:03 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-17 13:50:03 +0000 |
| commit | a5034282abc00a35f46e753bdba7a1795a85a388 (patch) | |
| tree | 41fc318456a83970e3c29b94add07242a95f047e | |
| parent | 5c3fd9c2deb73844f45966030f451957cc09f3f0 (diff) | |
Update doc
| -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 9c36c40b..b5d516d6 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -119,7 +119,8 @@ nil if a region cannot be found." (defun proof-looking-at-syntactic-context () "Determine if current point is at beginning or within comment/string context. If so, return a symbol indicating this ('comment or 'string). -This function invokes <PA-syntactic-context> if that is defined." +This function invokes <PA-syntactic-context> if that is defined, otherwise +it calls `proof-looking-at-syntactic-context'." (if (fboundp (proof-ass-sym syntactic-context)) (funcall (proof-ass-sym syntactic-context)) (proof-looking-at-syntactic-context-default))) |