Initial check-in of files

1 files changed, 33 insertions, 0 deletions

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")))))