diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-06-09 12:29:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-06-09 12:29:33 +0000 |
| commit | 7afa9ddc2eaaab1259cc3ae683e55f099806274a (patch) | |
| tree | 3280c9795f0d9c8be5d49557ade8908126500c3c /generic/proof-script.el | |
| parent | 1a0edf9dc05b8065e1ce9f7c6b6f9ea0b63c7088 (diff) | |
Add autoload.
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)) |