diff options
author | René 'Necoro' Neumann <necoro@necoro.net> | 2010-05-22 20:56:51 +0200 |
---|---|---|
committer | René 'Necoro' Neumann <necoro@necoro.net> | 2010-05-22 20:57:11 +0200 |
commit | 7021d5caa172640c06900854d7f462020bcd82dd (patch) | |
tree | 4c499ec658c39bf89bd83ee3c50cc25a636ca2d1 /.emacs | |
parent | f5661b7b6768ce479f7c0a22105e3b589e688631 (diff) | |
download | dotfiles-7021d5caa172640c06900854d7f462020bcd82dd.tar.gz dotfiles-7021d5caa172640c06900854d7f462020bcd82dd.tar.bz2 dotfiles-7021d5caa172640c06900854d7f462020bcd82dd.zip |
Update .emacs file
Diffstat (limited to '.emacs')
-rw-r--r-- | .emacs | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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. |