diff options
| author | David Aspinall | 1998-09-03 15:29:03 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-03 15:29:03 +0000 |
| commit | 9163e1bdfbac3150fa5c74050329cd2fab47a3f3 (patch) | |
| tree | 93063ec4430185159d803174f23d77c442f81a9d | |
| parent | 5323283f5727fbc20d07eebc6d5dcfdc6c211b55 (diff) | |
Requires proof-site.
| -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)) |