From 72fbd58445a48994d896ff3b057713b47f6c4d5a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 17 Apr 2004 15:38:36 +0000
Subject: Capitalization.

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

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index d5d74382..694be484 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -288,7 +288,7 @@ without adjusting window layout."
 ;      :style toggle
 ;      :selected proof-output-fontify-enable]
 
-     ["Strict read only" proof-strict-read-only-toggle
+     ["Strict Read Only" proof-strict-read-only-toggle
       :style toggle
       :selected proof-strict-read-only]
 
-- 
cgit v1.2.3