disable proof general
authorRamakrishnan Muthukrishnan <ram@rkrishnan.org>
Mon, 25 Apr 2016 05:50:52 +0000 (11:20 +0530)
committerRamakrishnan Muthukrishnan <ram@rkrishnan.org>
Mon, 25 Apr 2016 05:50:52 +0000 (11:20 +0530)
init.el

diff --git a/init.el b/init.el
index 8ab378dde2c9c49de2f6ef26fefaadf8d4a39859..07208996c6b25a4212238fd001edc160a77005ea 100644 (file)
--- a/init.el
+++ b/init.el
 ;; flysheck
 (add-hook 'after-init-hook #'global-flycheck-mode)
 
-;; coq proof general
-(load-file "~/.emacs.d/ProofGeneral/generic/proof-site.el")