diff options
Diffstat (limited to '')
-rw-r--r-- | .emacs | 40 | ||||
-rw-r--r-- | .emacs.d/custom.el | 37 |
2 files changed, 40 insertions, 37 deletions
@@ -31,40 +31,6 @@ (add-hook 'proof-mode-hook (lambda () (local-set-key (kbd "M-c") 'unicode-tokens-insert-token))) -(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. - '(indent-tabs-mode nil) - '(isar-display:show-main-goal t) - '(isar-maths-menu-enable t) - '(isar-proof:Sledgehammer:\ Time\ Limit 60) - '(isar-symbol-shortcuts (quote (("\\/" . "\\<or>") ("/\\" . "\\<and>") ("+O" . "\\<oplus>") ("-O" . "\\<ominus>") ("xO" . "\\<otimes>") ("/O" . "\\<oslash>") (".O" . "\\<odot>") ("|+" . "\\<dagger>") ("|++" . "\\<ddagger>") ("<=" . "\\<le>") ("|-" . "\\<turnstile>") (">=" . "\\<ge>") ("-|" . "\\<stileturn>") ("||" . "\\<parallel>") ("==" . "\\<equiv>") ("~=" . "\\<noteq>") ("~:" . "\\<notin>") ("~~~" . "\\<notapprox>") ("~~" . "\\<approx>") ("~==" . "\\<cong>") ("|<>|" . "\\<bowtie>") ("|=" . "\\<Turnstile>") ("=." . "\\<doteq>") ("_|_" . "\\<bottom>") ("</" . "\\<notle>") ("~>=" . "\\<notge>") ("==/" . "\\<notequiv>") ("~/" . "\\<notsim>") ("~=/" . "\\<notsimeq>") ("~~/" . "\\<notsimeq>") ("<-" . "\\<leftarrow>") ("<=" . "\\<Leftarrow>") ("->" . "\\<rightarrow>") ("=>" . "\\<Rightarrow>") ("<->" . "\\<leftrightarrow>") ("<=>" . "\\<Leftrightarrow>") ("|->" . "\\<mapsto>") ("<--" . "\\<longleftarrow>") ("<==" . "\\<Longleftarrow>") ("-->" . "\\<longrightarrow>") ("==>" . "\\<Longrightarrow>") ("<==>" . "\\<Longleftrightarrow>") ("|-->" . "\\<longmapsto>") ("<->" . "\\<longleftrightarrow>") ("<<" . "\\<guillemotleft>") (">>" . "\\<guillemotright>") ("<>" . "\\<diamond>") ("[|" . "\\<lbrakk>") ("|]" . "\\<rbrakk>") ("{|" . "\\<lbrace>") ("|}" . "\\<rbrace>") ("(|" . "\\<lparr>") ("|)" . "\\<rparr>") ("ALL" . "\\<forall>") ("EX" . "\\<exists>") ("!!" . "\\<And>") ("<|" . "\\<triangleleft>") ("<-->" . "\\<longleftrightarrow>") ("\\sse" . "\\<subseteq>") ("\\ess" . "\\<supseteq>") ("\\\\" . "\\<setminus>") ("\\|" . "\\<^isub>") ("/|" . "\\<^isup>") ("\\a" . "\\<alpha>") ("\\b" . "\\<beta>") ("\\c" . "\\<chi>") ("\\d" . "\\<delta>") ("\\D" . "\\<Delta>") ("\\e" . "\\<epsilon>") ("\\f" . "\\<phi>") ("\\F" . "\\<Phi>") ("\\g" . "\\<gamma>") ("\\G" . "\\<Gamma>") ("\\i" . "\\<iota>") ("\\k" . "\\<kappa>") ("\\l" . "\\<lambda>") ("\\L" . "\\<Lambda>") ("\\m" . "\\<mu>") ("\\n" . "\\<nu>") ("\\o" . "\\<omega>") ("\\O" . "\\<Omega>") ("\\P" . "\\<Pi>") ("\\p" . "\\<pi>") ("\\q" . "\\<psi>") ("\\Q" . "\\<Psi>") ("\\r" . "\\<rho>") ("\\R" . "\\<Rho>") ("\\s" . "\\<sigma>") ("\\S" . "\\<Sigma>") ("\\t" . "\\<tau>") ("\\x" . "\\<xi>") ("\\X" . "\\<Xi>") ("\\z" . "\\<zeta>")))) - '(isar-tracing:auto-quickcheck t) - '(isar-tracing:auto-try nil) - '(isar-unicode-tokens-enable t) - '(isar-unicode-tokens2-enable t) - '(isar-use-find-theorems-form nil) - '(isar-x-symbol-enable nil) - '(proof-delete-empty-windows nil) - '(proof-imenu-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. - ;; 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")))) - '(isabelle-string-face ((((type x) (class color) (background dark)) (:foreground "cyan3")))) - '(isabelle-var-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue3")))) - '(linum ((t (:inherit (shadow default) :foreground "gold")))) - '(proof-boring-face ((((type x) (class color) (background dark)) (:foreground "cyan3")))) - '(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-region-mouse-highlight-face ((((type x) (class color) (background dark)) (:background "yellow3" :foreground "black")))) - '(proof-warning-face ((((type x) (class color) (background dark)) (:background "orange2" :foreground "black")))) - '(unicode-tokens-symbol-font-face ((t (:slant normal :weight normal :height 113 :width normal :foundry "unknown" :family "DejaVu Sans Mono"))))) +;; custom file +(setq custom-file "~/.emacs.d/custom.el") +(load custom-file) diff --git a/.emacs.d/custom.el b/.emacs.d/custom.el new file mode 100644 index 0000000..f103960 --- /dev/null +++ b/.emacs.d/custom.el @@ -0,0 +1,37 @@ +(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. + '(indent-tabs-mode nil) + '(isar-display:show-main-goal t) + '(isar-maths-menu-enable t) + '(isar-proof:Sledgehammer:\ Time\ Limit 60) + '(isar-symbol-shortcuts (quote (("\\/" . "\\<or>") ("/\\" . "\\<and>") ("+O" . "\\<oplus>") ("-O" . "\\<ominus>") ("xO" . "\\<otimes>") ("/O" . "\\<oslash>") (".O" . "\\<odot>") ("|+" . "\\<dagger>") ("|++" . "\\<ddagger>") ("<=" . "\\<le>") ("|-" . "\\<turnstile>") (">=" . "\\<ge>") ("-|" . "\\<stileturn>") ("||" . "\\<parallel>") ("==" . "\\<equiv>") ("~=" . "\\<noteq>") ("~:" . "\\<notin>") ("~~~" . "\\<notapprox>") ("~~" . "\\<approx>") ("~==" . "\\<cong>") ("|<>|" . "\\<bowtie>") ("|=" . "\\<Turnstile>") ("=." . "\\<doteq>") ("_|_" . "\\<bottom>") ("</" . "\\<notle>") ("~>=" . "\\<notge>") ("==/" . "\\<notequiv>") ("~/" . "\\<notsim>") ("~=/" . "\\<notsimeq>") ("~~/" . "\\<notsimeq>") ("<-" . "\\<leftarrow>") ("<=" . "\\<Leftarrow>") ("->" . "\\<rightarrow>") ("=>" . "\\<Rightarrow>") ("<->" . "\\<leftrightarrow>") ("<=>" . "\\<Leftrightarrow>") ("|->" . "\\<mapsto>") ("<--" . "\\<longleftarrow>") ("<==" . "\\<Longleftarrow>") ("-->" . "\\<longrightarrow>") ("==>" . "\\<Longrightarrow>") ("<==>" . "\\<Longleftrightarrow>") ("|-->" . "\\<longmapsto>") ("<->" . "\\<longleftrightarrow>") ("<<" . "\\<guillemotleft>") (">>" . "\\<guillemotright>") ("<>" . "\\<diamond>") ("[|" . "\\<lbrakk>") ("|]" . "\\<rbrakk>") ("{|" . "\\<lbrace>") ("|}" . "\\<rbrace>") ("(|" . "\\<lparr>") ("|)" . "\\<rparr>") ("ALL" . "\\<forall>") ("EX" . "\\<exists>") ("!!" . "\\<And>") ("<|" . "\\<triangleleft>") ("<-->" . "\\<longleftrightarrow>") ("\\sse" . "\\<subseteq>") ("\\ess" . "\\<supseteq>") ("\\\\" . "\\<setminus>") ("\\|" . "\\<^isub>") ("/|" . "\\<^isup>") ("\\a" . "\\<alpha>") ("\\b" . "\\<beta>") ("\\c" . "\\<chi>") ("\\d" . "\\<delta>") ("\\D" . "\\<Delta>") ("\\e" . "\\<epsilon>") ("\\f" . "\\<phi>") ("\\F" . "\\<Phi>") ("\\g" . "\\<gamma>") ("\\G" . "\\<Gamma>") ("\\i" . "\\<iota>") ("\\k" . "\\<kappa>") ("\\l" . "\\<lambda>") ("\\L" . "\\<Lambda>") ("\\m" . "\\<mu>") ("\\n" . "\\<nu>") ("\\o" . "\\<omega>") ("\\O" . "\\<Omega>") ("\\P" . "\\<Pi>") ("\\p" . "\\<pi>") ("\\q" . "\\<psi>") ("\\Q" . "\\<Psi>") ("\\r" . "\\<rho>") ("\\R" . "\\<Rho>") ("\\s" . "\\<sigma>") ("\\S" . "\\<Sigma>") ("\\t" . "\\<tau>") ("\\x" . "\\<xi>") ("\\X" . "\\<Xi>") ("\\z" . "\\<zeta>")))) + '(isar-tracing:auto-quickcheck t) + '(isar-tracing:auto-try nil) + '(isar-unicode-tokens-enable t) + '(isar-unicode-tokens2-enable t) + '(isar-use-find-theorems-form nil) + '(isar-x-symbol-enable nil) + '(proof-delete-empty-windows nil) + '(proof-imenu-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. + ;; 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")))) + '(isabelle-string-face ((((type x) (class color) (background dark)) (:foreground "cyan3")))) + '(isabelle-var-name-face ((((type x) (class color) (background dark)) (:foreground "lightblue3")))) + '(linum ((t (:inherit (shadow default) :foreground "gold")))) + '(proof-boring-face ((((type x) (class color) (background dark)) (:foreground "cyan3")))) + '(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-region-mouse-highlight-face ((((type x) (class color) (background dark)) (:background "yellow3" :foreground "black")))) + '(proof-warning-face ((((type x) (class color) (background dark)) (:background "orange2" :foreground "black")))) + '(unicode-tokens-symbol-font-face ((t (:slant normal :weight normal :height 113 :width normal :foundry "unknown" :family "DejaVu Sans Mono"))))) |