diff options
| -rw-r--r-- | generic/proof.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/generic/proof.el b/generic/proof.el index c37f863b..df0f8e8e 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -8,10 +8,13 @@ ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens +(require 'proof-site) + +; FIXME: I think some of these should be autoloaded (etags,...) (require 'cl) (require 'compile) (require 'comint) -(require 'etags) +(require 'etags) (cond ((fboundp 'make-extent) (require 'span-extent)) ((fboundp 'make-overlay) (require 'span-overlay)) (t nil)) |