diff options
-rw-r--r-- | coq/README | 2 | ||||
-rw-r--r-- | coq/coq.el | 11 |
2 files changed, 7 insertions, 6 deletions
@@ -6,7 +6,7 @@ Later contributions by Patrick Loiseleur, Pierre Courtieu, Status: supported Maintainer: Pierre Courtieu -Coq version: 8.3 +Coq version: 8.5 Coq homepage: http://coq.inria.fr/ =========================================================================== @@ -33,11 +33,12 @@ (require 'proof) (require 'coq-system) ; load path, option, project file etc. -(require 'coq-syntax) -(require 'coq-local-vars) -(require 'coq-abbrev) ; abbrev and coq specific menu -(require 'coq-seq-compile) ; sequential compilation -(require 'coq-par-compile) ; parallel compilation +(require 'coq-syntax) ; font-lock, syntax categories (tactics, commands etc) +(require 'coq-local-vars) ; setting coq args via file variables + ; (prefer _CoqProject file instead) +(require 'coq-abbrev) ; abbrev and coq specific menu +(require 'coq-seq-compile) ; sequential compilation of Requires +(require 'coq-par-compile) ; parallel compilation of Requires ;; for compilation in Emacs < 23.3 (NB: declare function only works at top level) |