From 9f270997d7e95480c943a54a990a87edec3a5124 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Mar 2004 00:12:37 +0000
Subject: Fix

---
 lclam/lclam.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lclam/lclam.el b/lclam/lclam.el
index 9e85420b..b5456fa3 100644
--- a/lclam/lclam.el
+++ b/lclam/lclam.el
@@ -144,7 +144,7 @@
 (defvar thy-mode-map nil)
 
 (defun thy-add-menus ()
-  "Add Proof General and Isabelle menu to current menu bar."  
+  "Add Lambda-CLAM menu to current menu bar."  
   (require 'proof-script)    
   (require 'proof-x-symbol)
   (easy-menu-define thy-mode-pg-menu
-- 
cgit v1.2.3