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 --- install.el | 6 +++--- 2 files changed, 3 insertions(+), 6 deletions(-) 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. diff --git a/install.el b/install.el index 5466850..4603040 100644 --- a/install.el +++ b/install.el @@ -11,6 +11,6 @@ ; install package if not already installed (unless (package-installed-p package) (package-install package))) - - '(magit intero helm markdown-mode multiple-cursors expand-region yasnippet color-theme - google-translate google-translate-default-ui)) + + '(magit intero helm markdown-mode multiple-cursors expand-region yasnippet color-theme + idris elpy prop-menu google-translate)) -- cgit v1.2.3