diff options
Diffstat (limited to '')
-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. |