diff options
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 44b73219..2c9468cd 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -659,10 +659,10 @@ EXTRAPATH is a list of extra path components" ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; -;; Finding executables +;; Word utility ;; -;; This is taken from simple.el in GNU Emacs 23. +;; This is adapted from simple.el in GNU Emacs 23. (defun pg-current-word-pos (&optional strict really-word) "Return the start and end positions of symbol that point is on (or nearby). The return value includes no text properties. |