From 59e1bf093e0a1f74ee261383dcf9531cb853a049 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 1 Jun 2000 13:34:37 +0000
Subject: Made require on proof-menu instead of proof-script.

---
 generic/proof-shell.el | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 2b11c2e6..70d65465 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -9,10 +9,7 @@
 ;; $Id$
 ;;
 
-;; FIXME: needed because of menu definitions, which should
-;; be factored out into proof-menus.  Then require here is
-;; just on proof-shell.
-(require 'proof-script)			
+(require 'proof-menu)
 
 ;; Nuke some byte compiler warnings.
 
-- 
cgit v1.2.3