diff options
| author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-14 21:25:44 +0000 |
|---|---|---|
| committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-14 21:25:44 +0000 |
| commit | 6c3013aa648d82a5bde8d2cebf3a2246c6afbdf4 (patch) | |
| tree | 73b40ce5cbdd69d0a1bf1ff0500ffe02ff476ce2 /emacs | |
| parent | d8fa30ff9a9826340babb9c1392ce9ec1d125aea (diff) | |
| download | dotfiles-6c3013aa648d82a5bde8d2cebf3a2246c6afbdf4.tar.gz dotfiles-6c3013aa648d82a5bde8d2cebf3a2246c6afbdf4.zip | |
Set up coq properly
Diffstat (limited to 'emacs')
| -rw-r--r-- | emacs/loader.org | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/emacs/loader.org b/emacs/loader.org index 0b530f3..b9a63ad 100644 --- a/emacs/loader.org +++ b/emacs/loader.org @@ -1019,6 +1019,17 @@ Adding hook to clojure mode to enable strict parentheses mode. (autoload 'cmake-mode "~/CMake/Auxiliary/cmake-mode.el" t)) #+END_SRC +*** Coq + +#+begin_src emacs-lisp + (use-package proof-general + :config + (setq coq-compile-before-require t)) +#+end_src + +#+RESULTS: +: t + *** Elm #+BEGIN_SRC emacs-lisp |