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/pf/content/en/service/module-simplejson.tests.html?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")