From f5b82c7b4864b996f52c3007be4fb11a88f98bd2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Jan 2008 23:12:58 +0000
Subject: Comments.

---
 generic/pg-assoc.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic/pg-assoc.el b/generic/pg-assoc.el
index 45dd3cbd..b9f6e72b 100644
--- a/generic/pg-assoc.el
+++ b/generic/pg-assoc.el
@@ -16,10 +16,10 @@
 (eval-when-compile 
   (require 'proof)				; globals
   (require 'proof-syntax)			; proof-replace-{string,regexp}
-  (require 'span)
+  (require 'span)				; spans
   (require 'cl))				; incf
 
-(eval-and-compile ; to define proof-universal-keys-only-mode-map at compile time
+(eval-and-compile ; defines proof-universal-keys-only-mode-map at compile time
   (define-derived-mode proof-universal-keys-only-mode fundamental-mode
     proof-general-name "Universal keymaps only"
     ;; Doesn't seem to supress TAB, RET
-- 
cgit v1.2.3