From 6b202fb4d4c4f1f59f8c99079c571cbc75984000 Mon Sep 17 00:00:00 2001
From: Ramakrishnan Muthukrishnan <ram@rkrishnan.org>
Date: Mon, 25 Apr 2016 11:20:52 +0530
Subject: [PATCH] disable proof general

---
 init.el | 2 --
 1 file changed, 2 deletions(-)

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") 
 
-- 
2.45.2