diff options
Diffstat (limited to '.emacs')
-rw-r--r-- | .emacs | 8 |
1 files changed, 3 insertions, 5 deletions
@@ -1,5 +1,7 @@ (add-to-list 'load-path "~/.emacs.d") -(add-to-list 'load-path "~/.emacs.d/evil") + +;; el-get +(load "el-get-init") ;; evil (require 'evil) @@ -27,10 +29,6 @@ ;; use Poly/ML as SML interpreter (setq sml-program-name "poly") -;; key bindings -(add-hook 'proof-mode-hook - (lambda () (local-set-key (kbd "M-c") 'unicode-tokens-insert-token))) - ;; custom file (setq custom-file "~/.emacs.d/custom.el") (load custom-file) |