diff options
author | René 'Necoro' Neumann <necoro@necoro.net> | 2009-10-07 17:05:19 +0200 |
---|---|---|
committer | René 'Necoro' Neumann <necoro@necoro.net> | 2009-10-07 17:05:19 +0200 |
commit | dd5427baaf49f8de4355abeb6bc8c6dd14f74e25 (patch) | |
tree | 46fcfc70bd792e80ceebaab89a7f8fc06bc29101 /.emacs | |
download | dotfiles-dd5427baaf49f8de4355abeb6bc8c6dd14f74e25.tar.gz dotfiles-dd5427baaf49f8de4355abeb6bc8c6dd14f74e25.tar.bz2 dotfiles-dd5427baaf49f8de4355abeb6bc8c6dd14f74e25.zip |
Initial check-in of files
Diffstat (limited to '')
-rw-r--r-- | .emacs | 33 | ||||
-rw-r--r-- | .emacs.d/.keep | 0 |
2 files changed, 33 insertions, 0 deletions
@@ -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"))))) diff --git a/.emacs.d/.keep b/.emacs.d/.keep new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/.emacs.d/.keep |