From: Ramakrishnan Muthukrishnan Date: Sat, 19 Dec 2015 17:29:30 +0000 (+0530) Subject: flycheck mode, proof-general X-Git-Url: https://git.rkrishnan.org/(%5B%5E?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") +