diff options
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -24,7 +24,6 @@ (proof-ready-for-assistant 'coq)) ; compile for coq (require 'proof) -(require 'local-vars-list) ; in lib directory (require 'coq-local-vars) ; (require 'coq-syntax) ; sets coq-prog-name (require 'coq-abbrev) ; coq specific menu |