From 8e937606022b2d17956d3824f1690edd47edc47c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 22 Sep 2006 18:03:54 +0000
Subject: Comments.

---
 generic/pg-goals.el    | 2 +-
 generic/proof-shell.el | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/pg-goals.el b/generic/pg-goals.el
index 1532dfc4..59b65557 100644
--- a/generic/pg-goals.el
+++ b/generic/pg-goals.el
@@ -55,7 +55,7 @@ May enable proof-by-pointing or similar features.
 ;; (define-key proof-goals-mode-map [(button1)] 'pg-goals-button-action)
 ;; (define-key proof-goals-mode-map [(control button1)] 'proof-undo-and-delete-last-successful-command)
 ;; C Raffalli: The next key on button3 will be remapped to proof by contextual 
-;; menu by pg-pbrpm.el. In this cans, control button3 is mapped to 
+;; menu by pg-pbrpm.el. In this case, control button3 is mapped to 
 ;; 'pg-goals-yank-subterm
 (define-key proof-goals-mode-map [(button3)] 'pg-goals-yank-subterm))
 (t
diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 64b5b275..bbb7af52 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -2048,7 +2048,6 @@ usual, unless NOERROR is non-nil."
   (setq proof-shell-urgent-message-scanner (make-marker))
   (set-marker proof-shell-urgent-message-scanner (point-min))
 
-  ;; easy-menu-add must be in the mode function for XEmacs.
   (easy-menu-add proof-shell-mode-menu proof-shell-mode-map)
 
   ;; [ Should already be in proof-goals-buffer, really.]
-- 
cgit v1.2.3