From 7021d5caa172640c06900854d7f462020bcd82dd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20=27Necoro=27=20Neumann?= <necoro@necoro.net>
Date: Sat, 22 May 2010 20:56:51 +0200
Subject: Update .emacs file

---
 .emacs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to '.emacs')

diff --git a/.emacs b/.emacs
index 0aaa5c9..e405dd6 100644
--- a/.emacs
+++ b/.emacs
@@ -24,6 +24,7 @@
   ;; If you edit it by hand, you could mess it up, so be careful.
   ;; Your init file should contain only one such instance.
   ;; If there is more than one, they won't work right.
+ '(indent-tabs-mode nil)
  '(isar-display:long-names nil)
  '(isar-display:show-main-goal t)
  '(isar-display:show-sorts nil)
@@ -34,7 +35,8 @@
  '(isar-x-symbol-enable nil)
  '(proof-delete-empty-windows nil)
  '(proof-imenu-enable t)
- '(proof-three-window-enable t))
+ '(proof-three-window-enable t)
+ '(show-paren-mode t))
 (custom-set-faces
   ;; custom-set-faces was added by Custom.
   ;; If you edit it by hand, you could mess it up, so be careful.
-- 
cgit v1.2.3