From 75b8d43cc78ee41f0029ca5b2374f439cfb9af5a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Aug 2002 23:53:09 +0000
Subject: Comments: possible fix to compiles.

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

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index af482914..ad2c899a 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -373,7 +373,7 @@ This is intended for defining proof assistant specific functions.
 STRING is inserted using `proof-insert', which see.
 KEY is added onto proof-assistant map."
   (if key
-      (eval
+      (eval ;; eval-after-load "proof" ?
        `(define-key (proof-ass keymap) (quote ,key) (quote ,fn))))
   `(defun ,fn ()
      ,(concat "Shortcut command to insert " string " into the current buffer.")
@@ -386,7 +386,7 @@ This is intended for defining proof assistant specific functions.
 STRING is sent using proof-shell-invisible-command, which see.
 KEY is added onto proof-assistant map."
   (if key
-      (eval
+      (eval ;; eval-after-load "proof" ?
        `(define-key (proof-ass keymap) (quote ,key) (quote ,fn))))
   `(defun ,fn ()
      ,(concat "Command to send " string " to the proof assistant.")
-- 
cgit v1.2.3