diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 14:35:51 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 14:35:51 +0000 |
commit | 858a775958acb876343155315ecf052d298b797a (patch) | |
tree | 68893f628f9d1186f059c28c0ccd181f6c048d1d | |
parent | 6defbc55ac79d76c8a57a9a5c3b83df122e4213c (diff) |
Comment
-rw-r--r-- | generic/pg-pamacs.el | 2 | ||||
-rw-r--r-- | generic/proof-utils.el | 4 |
2 files changed, 2 insertions, 4 deletions
diff --git a/generic/pg-pamacs.el b/generic/pg-pamacs.el index 5e7d1830..282cf59e 100644 --- a/generic/pg-pamacs.el +++ b/generic/pg-pamacs.el @@ -25,8 +25,6 @@ ;; (proof-ass name) or (proof-assistant-name) ;; ;; -;; Developer's note: This code was previously in proof-utils.el. -;; (require 'proof-site) ; proof-assitant-symbol (require 'proof-compat) ; pg-custom-undeclare-variable 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. |