diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 13:14:13 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 13:14:13 +0000 |
commit | b1ca69dcc59cc6dfb397d5502df867cce4500dd3 (patch) | |
tree | 971104bf89993c8e0a87309143711ac1d000dabb /generic/pg-pbrpm.el | |
parent | 636a83078ec5271a07ba78fd5d02ce5e9f1f4a86 (diff) |
Add compilation dependency
Diffstat (limited to 'generic/pg-pbrpm.el')
-rw-r--r-- | generic/pg-pbrpm.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el index 9f331476..21f0c02f 100644 --- a/generic/pg-pbrpm.el +++ b/generic/pg-pbrpm.el @@ -4,9 +4,11 @@ ;; Authors: Jean-Roch SOTTY, Christophe Raffalli ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; - ;; analysis of the goal buffer +(require 'proof-utils) ;; for proof-face-specs + + (defvar pg-pbrpm-use-buffer-menu t "if t, pbrpm will use a menu displayed in a dialog fram instead of a popup menu") |