diff options
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index c503b336..c231f3f1 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1704,6 +1704,7 @@ to the function which parses the script segment by segment." ;; Return segment list segs))) +;;;###autoload (defun proof-script-generic-parse-find-comment-end () "Find the end of the comment point is at the start of. Nil if not found." (let ((notout t)) |