diff options
author | René Neumann <rene.neumann@in.tum.de> | 2012-04-27 12:49:29 +0200 |
---|---|---|
committer | René Neumann <rene.neumann@in.tum.de> | 2012-04-27 12:49:30 +0200 |
commit | d2121684de9df227426f51b3c6954d3a4f6e14b1 (patch) | |
tree | 28549bc54efe670ca4b3be7eda05ed5766114c56 /.emacs | |
parent | f15aa7601dda9ec0827215ed34af02d8cf775b7d (diff) | |
download | dotfiles-d2121684de9df227426f51b3c6954d3a4f6e14b1.tar.gz dotfiles-d2121684de9df227426f51b3c6954d3a4f6e14b1.tar.bz2 dotfiles-d2121684de9df227426f51b3c6954d3a4f6e14b1.zip |
Increase sledgehammer timeout
Diffstat (limited to '.emacs')
-rw-r--r-- | .emacs | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -33,6 +33,7 @@ '(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>") @@ -69,8 +70,8 @@ ("\\X" . "\\<Xi>") ("\\z" . "\\<zeta>") ))) - '(isar-tracing:auto-try nil) '(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) |