flycheck mode, proof-general

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