From dd5427baaf49f8de4355abeb6bc8c6dd14f74e25 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ren=C3=A9=20=27Necoro=27=20Neumann?= Date: Wed, 7 Oct 2009 17:05:19 +0200 Subject: Initial check-in of files --- .emacs | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 .emacs (limited to '.emacs') diff --git a/.emacs b/.emacs new file mode 100644 index 0000000..2223e08 --- /dev/null +++ b/.emacs @@ -0,0 +1,33 @@ +(require 'color-theme) +(color-theme-initialize) +(color-theme-charcoal-black) + +(add-to-list 'load-path "~/.emacs.d") + +(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. + '(isar-display:long-names nil) + '(isar-display:show-main-goal t) + '(isar-display:show-sorts nil) + '(isar-display:show-types nil) + '(isar-maths-menu-enable t) + '(isar-unicode-tokens-enable t) + '(isar-unicode-tokens2-enable t) + '(isar-x-symbol-enable nil) + '(proof-delete-empty-windows nil) + '(proof-imenu-enable t) + '(proof-three-window-enable 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. + '(isabelle-free-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue")))) + '(isabelle-var-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue3")))) + '(proof-highlight-dependency-face ((((type x) (class color) (background dark)) (:background "peru" :foreground "black")))) + '(proof-highlight-dependent-face ((((type x) (class color) (background dark)) (:background "darkorange" :foreground "black")))) + '(proof-warning-face ((((type x) (class color) (background dark)) (:background "orange2" :foreground "black"))))) -- cgit v1.2.3