From 6a44df852f8fcba8b0c0c9362a7da00ece7a1324 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 17 Aug 2010 12:06:39 +0000 Subject: Whitespace --- generic/proof-script.el | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/generic/proof-script.el b/generic/proof-script.el index 79fba2a0..cc1bce92 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -13,7 +13,7 @@ ;; parsing script buffers and setting spans inside them. ;; ;; Compile note: functions used here from proof-shell, pg-user, -;; pg-response, pg-goals autoloaded to prevent circular dependency. +;; pg-response, pg-goals auto-loaded to prevent circular dependency. ;;; Code: @@ -1927,13 +1927,13 @@ No effect if prover is busy." (proof-retract-until-point))))) (defun proof-inside-comment (pos) - "Returns non-nil if POS is inside a comment." + "Return non-nil if POS is inside a comment." (save-excursion (goto-char pos) (eq (proof-buffer-syntactic-context) 'comment))) (defun proof-inside-string (pos) - "Returns non-nil if POS is inside a comment." + "Return non-nil if POS is inside a comment." (save-excursion (goto-char pos) (eq (proof-buffer-syntactic-context) 'string))) @@ -2573,6 +2573,9 @@ Choice of function depends on configuration setting." (list "Saves" proof-save-with-hole-regexp proof-save-with-hole-result)))))))) + + + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; ;; Caching parse results for unedited portions of the buffer @@ -2651,8 +2654,6 @@ Choice of function depends on configuration setting." 'proof-script-after-change-function nil t)) - - (provide 'proof-script) ;;; proof-script.el ends here -- cgit v1.2.3