From 353186f0f51cc26235ea73a7a2895307636dece8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Aug 2002 12:39:39 +0000
Subject: Conventions

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

(limited to 'generic')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index d4a5532f..ae461828 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -201,7 +201,7 @@ If in three window or multiple frame mode, display both buffers."
 	   '(["Trace"
 	      (proof-switch-to-buffer proof-trace-buffer)
 	      :active (buffer-live-p proof-trace-buffer)])
-	   '(["Clear responses"
+	   '(["Clear Responses"
 	      (pg-response-clear-displays) t])))
   "Proof General buffer menu.")
 
-- 
cgit v1.2.3