diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2014-12-30 14:06:39 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2014-12-30 14:06:39 +0000 |
commit | b75bf02626b639bad8fe28796b7ee9163fd54323 (patch) | |
tree | c56e1abd9fe17c143d32f95d63f10701c707ed3f /coq/coq-compile-common.el | |
parent | a9660f46b64132dec0d0efc8ff4419ec8899558b (diff) |
fixed indentation (lexing of 'with') + made local coq-load-path.
Diffstat (limited to 'coq/coq-compile-common.el')
-rw-r--r-- | coq/coq-compile-common.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/coq/coq-compile-common.el b/coq/coq-compile-common.el index a66f68c8..a3c08feb 100644 --- a/coq/coq-compile-common.el +++ b/coq/coq-compile-common.el @@ -293,6 +293,8 @@ directory (see `coq-load-path-include-current')." :safe 'coq-load-path-safep :group 'coq-auto-compile) +(make-variable-buffer-local 'coq-load-path) + (defcustom coq-compile-auto-save 'ask-coq "Buffers to save before checking dependencies for compilation. There are two orthogonal choices: Firstly one can save all or only the coq |