From f0a93413381aa18a8bf917a560b2a4ca8e7fb321 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 12 May 2000 17:07:20 +0000
Subject: Remove proof-assistant-menu-entries, done generically now.

---
 isa/isa.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'isa')

diff --git a/isa/isa.el b/isa/isa.el
index 60d3be7d..b2a996eb 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -81,7 +81,6 @@ and script mode."
   (setq
    proof-assistant-home-page	isabelle-web-page
    proof-mode-for-script	'isa-proofscript-mode
-   proof-assistant-menu-entries isabelle-menu-entries
    ;; proof script syntax
    proof-terminal-char		?\;	; ends a proof
    proof-comment-start		"(*"	; comment in a proof
-- 
cgit v1.2.3