From: Ramakrishnan Muthukrishnan <ram@rkrishnan.org> Date: Mon, 25 Apr 2016 05:50:52 +0000 (+0530) Subject: disable proof general X-Git-Url: https://git.rkrishnan.org/components/com_hotproperty/simplejson/frontends/CLI.txt?a=commitdiff_plain;h=6b202fb4d4c4f1f59f8c99079c571cbc75984000;p=.emacs.d.git disable proof general --- diff --git a/init.el b/init.el index 8ab378d..0720899 100644 --- 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")