Remove proof-assistant-menu-entries, done generically now.

2 files changed, 0 insertions, 3 deletions

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
diff --git a/lego/lego.el b/lego/lego.el
index 230393d6..50a2fdec 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -339,8 +339,6 @@ Checks the width in the `proof-goals-buffer'"
 
   (setq proof-assistant-home-page lego-www-home-page)
   
-  (setq proof-assistant-menu-entries lego-menu-entries)
-
   (setq proof-mode-for-script 'lego-mode)
 
   (setq proof-showproof-command "Prf"