From 348560f7a1482918c46ad23f3271473faaca9a71 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Mar 2003 10:03:44 +0000
Subject: Add requires to reduce compilation warnings.

---
 generic/proof-menu.el | 52 ++++++++++++++++++++++++++-------------------------
 1 file changed, 27 insertions(+), 25 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 18b4126e..972e0aba 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -7,6 +7,8 @@
 ;; $Id$
 ;;
 
+(require 'proof)
+(require 'proof-syntax)
 (require 'proof-toolbar)     ; needed for proof-toolbar-scripting-menu
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
@@ -137,37 +139,37 @@ If in three window or multiple frame mode, display two buffers."
 (defun proof-menu-define-specific ()
   (easy-menu-define 
    proof-assistant-menu 
-    proof-mode-map
+   proof-mode-map
     (concat "The menu for " proof-assistant)
     (cons proof-assistant
-	  (append
-	   (proof-ass menu-entries)
-	   '("----")
-	   (or proof-menu-favourites
-	       (proof-menu-define-favourites-menu))
-	   (or proof-menu-settings
-	       (proof-menu-define-settings-menu))
-	   '("----")
-	   (list
-	    (vector
-	     (concat "Start " proof-assistant)
-	     'proof-shell-start
-	     ':active '(not (proof-shell-live-buffer)))
+	   (append
+	    (proof-ass menu-entries)
+	    '("----")
+	    (or proof-menu-favourites
+		(proof-menu-define-favourites-menu))
+	    (or proof-menu-settings
+		(proof-menu-define-settings-menu))
+	    '("----")
+	    (list
+	     (vector
+	      (concat "Start " proof-assistant)
+	      'proof-shell-start
+	      ':active '(not (proof-shell-live-buffer)))
 	    (vector
 	     (concat "Exit " proof-assistant)
 	     'proof-shell-exit
 	     ':active '(proof-shell-live-buffer)))
-	   '("----")
-	   (list
-	    (cons "Help"
-		  (append
-		   `([,(concat proof-assistant " information")
-		      '(proof-help)
-		      ,menuvisiblep proof-info-command]
-		     [,(concat proof-assistant " web page")
-		      '(browse-url proof-assistant-home-page)
-		      ,menuvisiblep proof-assistant-home-page])
-		   (proof-ass help-menu-entries))))))))
+	    '("----")
+	    (list
+	     (cons "Help"
+		   (append
+		    `([,(concat proof-assistant " information")
+		       '(proof-help)
+		       ,menuvisiblep proof-info-command]
+		      [,(concat proof-assistant " web page")
+		       '(browse-url proof-assistant-home-page)
+		       ,menuvisiblep proof-assistant-home-page])
+		    (proof-ass help-menu-entries))))))))
 
 (defun proof-assistant-menu-update ()
   "Update proof assistant menu in scripting buffers."
-- 
cgit v1.2.3