From a5034282abc00a35f46e753bdba7a1795a85a388 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 17 Aug 2009 13:50:03 +0000 Subject: Update doc --- 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 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 if that is defined." +This function invokes 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))) -- cgit v1.2.3