diff options
| -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)) |