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 --
 1 file changed, 2 deletions(-)

(limited to 'generic/pg-pamacs.el')

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
-- 
cgit v1.2.3