From 858a775958acb876343155315ecf052d298b797a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 1 Oct 2010 14:35:51 +0000
Subject: Comment

---
 generic/pg-pamacs.el   | 2 --
 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.
-- 
cgit v1.2.3