diff options
Diffstat (limited to 'generic/pg-goals.el')
-rw-r--r-- | generic/pg-goals.el | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/generic/pg-goals.el b/generic/pg-goals.el index f98859ba..b45a0f71 100644 --- a/generic/pg-goals.el +++ b/generic/pg-goals.el @@ -14,12 +14,11 @@ (eval-when-compile (require 'easymenu) ; easy-menu-add, etc (require 'cl) ; incf - (require 'span)) ; span-* + (require 'span) ; span-* + (defvar proof-goals-mode-menu) ; defined by macro below + (defvar proof-assistant-menu)) ; defined by macro in proof-menu -(require 'proof-utils) (require 'pg-assoc) -(require 'bufhist) - ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |