From 695170a4c7ba5c076b3f1c58b66836f20d242fa0 Mon Sep 17 00:00:00 2001
From: Amin Bandali <amin@aminb.org>
Date: Fri, 6 Jul 2018 12:11:16 -0400
Subject: [emacs] assimilate Proof General (for Coq)

---
 init.org | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'init.org')

diff --git a/init.org b/init.org
index bcccd39..0a61745 100644
--- a/init.org
+++ b/init.org
@@ -1091,6 +1091,13 @@ TODO: break this giant source block down into individual org sections.
   :config (setq alloy-basic-offset 2))
 #+end_src
 
+** Coq
+
+#+begin_src emacs-lisp
+(use-package proof-site  ; Proof General
+  :load-path "lib/proof-site/generic/")
+#+end_src
+
 ** [[https://github.com/leanprover/lean-mode][Lean]]
 
 #+begin_src emacs-lisp
-- 
cgit v1.2.3-83-g751a