From 30ca25249ad9a3baec74476e07730203a98c293e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 30 Aug 2002 17:20:19 +0000
Subject: Updated.

---
 generic/proof-shell.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index ca4e33d7..d15315be 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -279,7 +279,7 @@ Does nothing if proof assistant is already running."
       (save-excursion
 	(set-buffer proof-shell-buffer)
 	
-	;; PG 3.4: clear output from previous sessions.
+	;; clear output from previous sessions.
 	(erase-buffer)
 
 	;; Disable multi-byte characters in GNU Emacs.
-- 
cgit v1.2.3