diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2012-01-23 08:59:32 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2012-01-23 08:59:32 +0000 |
commit | e8eec36fa76ce261312e1f736eb8597d852a70ce (patch) | |
tree | e0ada75197a606c1f3505c31b9cf6ce80e079324 /generic/proof-easy-config.el | |
parent | 9be9c4a253f569add0b2bda58218186be863e908 (diff) |
make sure extra modes available
Diffstat (limited to 'generic/proof-easy-config.el')
-rw-r--r-- | generic/proof-easy-config.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-easy-config.el b/generic/proof-easy-config.el index c0f76532..da3b9c7f 100644 --- a/generic/proof-easy-config.el +++ b/generic/proof-easy-config.el @@ -12,6 +12,7 @@ ;; (require 'proof-site) ; proof-assistant, proof-assistant-symbol +(require 'proof-auxmodes) ; make sure extra modes available (defconst proof-easy-config-derived-modes-table '(("" "script" proof-mode (proof-config-done)) |