install idris mode

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