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:
6296833
)
disable proof general
author
Ramakrishnan Muthukrishnan
<ram@rkrishnan.org>
Mon, 25 Apr 2016 05:50:52 +0000
(11:20 +0530)
committer
Ramakrishnan Muthukrishnan
<ram@rkrishnan.org>
Mon, 25 Apr 2016 05:50:52 +0000
(11:20 +0530)
init.el
patch
|
blob
|
history
diff --git
a/init.el
b/init.el
index 8ab378dde2c9c49de2f6ef26fefaadf8d4a39859..07208996c6b25a4212238fd001edc160a77005ea 100644
(file)
--- a/
init.el
+++ b/
init.el
@@
-228,6
+228,4
@@
;; flysheck
(add-hook 'after-init-hook #'global-flycheck-mode)
-;; coq proof general
-(load-file "~/.emacs.d/ProofGeneral/generic/proof-site.el")