From: Ramakrishnan Muthukrishnan <ram@rkrishnan.org>
Date: Sat, 19 Dec 2015 17:29:30 +0000 (+0530)
Subject: flycheck mode, proof-general
X-Git-Url: https://git.rkrishnan.org/pf/content/en/seg/class-simplejson.JSONEncoder-index.html?a=commitdiff_plain;h=5584385718aee7ab69ac3b239b5efce53e5610ce;p=.emacs.d.git

flycheck mode, proof-general
---

diff --git a/init.el b/init.el
index 213f7df..c42a3d4 100644
--- a/init.el
+++ b/init.el
@@ -221,3 +221,10 @@
 ;; which function?
 (which-func-mode 1)
 (add-to-list 'which-func-modes '(c-mode c++-mode rust-mode haskell-mode))
+
+;; flysheck
+(add-hook 'after-init-hook #'global-flycheck-mode)
+
+;; coq proof general
+(load-file "~/.emacs.d/ProofGeneral/generic/proof-site.el") 
+