diff options
| author | René Neumann <rene.neumann@in.tum.de> | 2012-09-04 15:14:27 +0200 |
|---|---|---|
| committer | René Neumann <rene.neumann@in.tum.de> | 2012-09-04 15:14:27 +0200 |
| commit | 08ae3f83268783edd51dd97a749c088007f7fea4 (patch) | |
| tree | c42065716bcd6d184040b23c1e83e289ffd90393 /.emacs | |
| parent | e67bcea60286e0bbc47de13646e8840d33e77e6e (diff) | |
| download | dotfiles-08ae3f83268783edd51dd97a749c088007f7fea4.tar.gz dotfiles-08ae3f83268783edd51dd97a749c088007f7fea4.tar.bz2 dotfiles-08ae3f83268783edd51dd97a749c088007f7fea4.zip | |
el-get
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) |