diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 21:41:39 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 21:41:39 +0000 |
commit | 34ec09678c21b2bf8be501c446ed0778624faa61 (patch) | |
tree | 6ceb741cbdb9a32c2c9e55917b91848183149c16 /phox/phox.el | |
parent | 30c9c8ebe6e6d1221f1cf45b80a596c8d420ac83 (diff) |
Some fixes to requires etc
Diffstat (limited to 'phox/phox.el')
-rw-r--r-- | phox/phox.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/phox/phox.el b/phox/phox.el index 4fdf21fe..44ab68b2 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -2,6 +2,7 @@ (require 'proof) ; load generic parts + ;; Adjust toolbar entries. (Must be done before proof-toolbar is ;; loaded). |