diff options
-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 |