diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 22:49:08 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 22:49:08 +0000 |
commit | a060c0dc046e526f8bf88b512e3c7c27e93421f8 (patch) | |
tree | f52460f63a4267078846926e2f3486b88ae596f3 /coq/coq.el | |
parent | b45fc894461c3df3844c950eea0bebc8f2da7b8c (diff) |
Move (require 'local-vars-list) to coq-local-vars
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 |