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 --- install.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'install.el') 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