From 0691b44f87bde72511015b15c7f9ed78a428be99 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20=27Necoro=27=20Neumann?= <necoro@necoro.net>
Date: Tue, 15 Dec 2009 17:19:33 +0100
Subject: Changes to .emacs

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

(limited to '.emacs')

diff --git a/.emacs b/.emacs
index fe6aae6..0aaa5c9 100644
--- a/.emacs
+++ b/.emacs
@@ -3,14 +3,22 @@
 ;; wrap long lines
 (setq truncate-partial-width-windows nil)
 
+;; show parens
+(show-paren-mode 1)
+
 ;; line numbering
 (global-linum-mode 1)
 (setq linum-format "%4d ")
 
+;; theming
 (require 'color-theme)
 (color-theme-initialize)
 (color-theme-charcoal-black)
 
+;; key bindings
+(add-hook 'proof-mode-hook
+  (lambda () (local-set-key (kbd "M-c") 'unicode-tokens-token-insert)))
+
 (custom-set-variables
   ;; custom-set-variables was added by Custom.
   ;; If you edit it by hand, you could mess it up, so be careful.
-- 
cgit v1.2.3