projects
/
.emacs.d.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
0a29565
)
flycheck mode, proof-general
author
Ramakrishnan Muthukrishnan
<ram@rkrishnan.org>
Sat, 19 Dec 2015 17:29:30 +0000
(22:59 +0530)
committer
Ramakrishnan Muthukrishnan
<ram@rkrishnan.org>
Sat, 20 Feb 2016 14:35:30 +0000
(20:05 +0530)
init.el
patch
|
blob
|
history
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")
+