From 6c3013aa648d82a5bde8d2cebf3a2246c6afbdf4 Mon Sep 17 00:00:00 2001
From: Yann Herklotz Grave <git@yannherklotzgrave.com>
Date: Thu, 14 Mar 2019 21:25:44 +0000
Subject: Set up coq properly

---
 emacs/loader.org | 11 +++++++++++
 1 file changed, 11 insertions(+)

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
-- 
cgit