1 files changed, 8 insertions, 0 deletions
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.