diff options
| author | David Aspinall | 2010-10-01 14:35:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-10-01 14:35:51 +0000 |
| commit | 858a775958acb876343155315ecf052d298b797a (patch) | |
| tree | 68893f628f9d1186f059c28c0ccd181f6c048d1d /generic/proof-utils.el | |
| parent | 6defbc55ac79d76c8a57a9a5c3b83df122e4213c (diff) | |
Comment
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. |