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.45.2