From d0207d709da0a25eb011efc9113b55045dbafd4d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 31 Aug 2001 11:35:40 +0000
Subject: Fix for names of functions in proof-depends

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

diff --git a/isa/thy-mode.el b/isa/thy-mode.el
index 02785018..07e0ca54 100644
--- a/isa/thy-mode.el
+++ b/isa/thy-mode.el
@@ -215,7 +215,7 @@ You can use the following format characters:
   
   (if file
      (progn (easy-menu-remove thy-mode-deps-menu)
-	    (thy-menu-define-deps file)
+	    (proof-thy-menu-define-deps file)
 	    (easy-menu-add thy-mode-deps-menu thy-mode-map))))
 
 
-- 
cgit v1.2.3