flycheck mode, proof-general
authorRamakrishnan Muthukrishnan <ram@rkrishnan.org>
Sat, 19 Dec 2015 17:29:30 +0000 (22:59 +0530)
committerRamakrishnan Muthukrishnan <ram@rkrishnan.org>
Sat, 20 Feb 2016 14:35:30 +0000 (20:05 +0530)
init.el

diff --git a/init.el b/init.el
index 213f7dfb3e5d0f121aba17255cc0f4f165fdab6d..c42a3d4e9e979eeea009dcedac456d306882349f 100644 (file)
--- a/init.el
+++ b/init.el
 ;; 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") 
+