From 5584385718aee7ab69ac3b239b5efce53e5610ce Mon Sep 17 00:00:00 2001
From: Ramakrishnan Muthukrishnan <ram@rkrishnan.org>
Date: Sat, 19 Dec 2015 22:59:30 +0530
Subject: [PATCH] flycheck mode, proof-general

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

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") 
+
-- 
2.37.2