diff options
| author | Arnaud Bailly <arnaud.oqube@gmail.com> | 2017-12-15 15:27:31 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.oqube@gmail.com> | 2017-12-15 15:27:31 +0100 |
| commit | 2c9ded86b827ab5f3f8037c868f7202887d36635 (patch) | |
| tree | 47585aabbbcae7dfaa789814a9503598158f5ff7 /.emacs | |
| parent | 89a95cd9f20b6d2251054e07e8d8338e35046a20 (diff) | |
| download | dotfiles-2c9ded86b827ab5f3f8037c868f7202887d36635.tar.gz | |
install idris mode
Diffstat (limited to '.emacs')
| -rw-r--r-- | .emacs | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -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. |