From c4c2edc9c832c418347181086ccd942934f58b32 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Sat, 1 Jul 2000 18:09:25 +0000
Subject: tuned docs menu;

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

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index 49852793..17c94f47 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -229,7 +229,7 @@ until Proof General is restarted."
   (let ((vc '(lambda (docdes)
 	       (vector (car (cdr docdes))
 		       (list 'isa-view-doc (car docdes)) t))))
-    (list (cons "Isatool Docs" (mapcar vc (isa-tool-list-docs)))))
+    (list (cons "Isabelle documentation" (mapcar vc (isa-tool-list-docs)))))
   "Isabelle documentation menu.  Constructed dynamically.")
 
 
-- 
cgit v1.2.3