From c43330157961612a211e16d4381ae536d15370fa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20=27Necoro=27=20Neumann?= Date: Tue, 4 Sep 2012 23:48:01 +0200 Subject: More emacs/isabelle hacks --- .emacs.d/custom.el | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) (limited to '.emacs.d/custom.el') diff --git a/.emacs.d/custom.el b/.emacs.d/custom.el index f103960..b0eac92 100644 --- a/.emacs.d/custom.el +++ b/.emacs.d/custom.el @@ -1,8 +1,8 @@ (custom-set-variables - ;; custom-set-variables was added by Custom. - ;; 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. + ;; custom-set-variables was added by Custom. + ;; 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:show-main-goal t) '(isar-maths-menu-enable t) @@ -19,10 +19,10 @@ '(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. - ;; Your init file should contain only one such instance. - ;; If there is more than one, they won't work right. + ;; custom-set-faces was added by Custom. + ;; 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. '(default ((t (:inherit nil :stipple nil :background "Grey15" :foreground "Grey" :inverse-video nil :box nil :strike-through nil :overline nil :underline nil :slant normal :weight normal :height 113 :width normal :foundry "unknown" :family "Inconsolata")))) '(isabelle-free-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue")))) '(isabelle-quote-face ((t (:foreground "grey21")))) -- cgit v1.2.3