From 2c9ded86b827ab5f3f8037c868f7202887d36635 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Fri, 15 Dec 2017 15:27:31 +0100 Subject: install idris mode --- .emacs | 3 --- 1 file changed, 3 deletions(-) (limited to '.emacs') diff --git a/.emacs b/.emacs index 148d9e6..3f24169 100644 --- a/.emacs +++ b/.emacs @@ -211,9 +211,6 @@ (require 'markdown-mode) (setq markdown-command "pandoc -s --highlight-style pygments") -;; Proof General -(require 'proof-site "~/.emacs.d/lisp/PG/generic/proof-site") - (custom-set-variables ;; custom-set-variables was added by Custom. ;; If you edit it by hand, you could mess it up, so be careful. -- cgit v1.2.3