From 08ae3f83268783edd51dd97a749c088007f7fea4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Neumann?= <rene.neumann@in.tum.de>
Date: Tue, 4 Sep 2012 15:14:27 +0200
Subject: el-get

---
 .emacs | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to '.emacs')

diff --git a/.emacs b/.emacs
index 6e3a561..9ce4988 100644
--- a/.emacs
+++ b/.emacs
@@ -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)
-- 
cgit v1.2.3