From 705b68291cd7e5e9ad410c99bd3c48223592ce5f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 27 Sep 2009 18:06:57 +0000
Subject: Follow Upper Case Convention for menu entries

---
 isar/isabelle-system.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isar')

diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el
index 7d654d34..040fb959 100644
--- a/isar/isabelle-system.el
+++ b/isar/isabelle-system.el
@@ -261,7 +261,7 @@ for you, you should disable this behaviour."
   (let ((vc '(lambda (docdes)
 	       (vector (car (cdr docdes))
 		       (list 'isa-view-doc (car docdes)) t))))
-    (list (cons "Isabelle documentation" (mapcar vc (isa-tool-list-docs)))))
+    (list (cons "Isabelle Documentation" (mapcar vc (isa-tool-list-docs)))))
   "Isabelle documentation menu.  Constructed when PG is loaded.")
 
 (defvar isabelle-logics-menu-entries nil
-- 
cgit v1.2.3