From ee91c3f2f1dd5f2f731db385134f38726b37b7ca Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Sep 2009 23:04:40 +0000
Subject: Experimental changes to queue several commands at once and to allow
 pre-processing of commands when they're queued from script

---
 generic/proof-menu.el | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'generic/proof-menu.el')

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index 7cb5231e..a79b976a 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -21,6 +21,12 @@
     
 
 
+(eval-when-compile
+  (defvar proof-assistant-menu)	  ; defined by macro in proof-menu-define-specific
+  (defvar proof-mode-map))
+    
+
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
 ;;; Miscellaneous commands
-- 
cgit v1.2.3