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