diff options
author | René Neumann <rene.neumann@in.tum.de> | 2012-08-30 12:55:19 +0200 |
---|---|---|
committer | René Neumann <rene.neumann@in.tum.de> | 2012-08-30 12:55:20 +0200 |
commit | 2d9cd30016331eaac15a6563ba1c31b9d89c9573 (patch) | |
tree | a06992f0adc79d32bb9964b55d002108bda03111 | |
parent | b170db6700b73f578514516833b06f2ce0253516 (diff) | |
download | dotfiles-2d9cd30016331eaac15a6563ba1c31b9d89c9573.tar.gz dotfiles-2d9cd30016331eaac15a6563ba1c31b9d89c9573.tar.bz2 dotfiles-2d9cd30016331eaac15a6563ba1c31b9d89c9573.zip |
Added 'evil' mode for emacs
Diffstat (limited to '')
-rw-r--r-- | .emacs | 43 |
1 files changed, 7 insertions, 36 deletions
@@ -1,4 +1,10 @@ (add-to-list 'load-path "~/.emacs.d") +(add-to-list 'load-path "~/.emacs.d/evil") + +;; evil +(setq evil-default-cursor (quote (t "Grey"))) +(require 'evil) +(evil-mode 1) ;; wrap long lines (setq truncate-partial-width-windows nil) @@ -34,42 +40,7 @@ '(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>") - ("\\|" . "\\<^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-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) |