summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRené Neumann <rene.neumann@in.tum.de>2013-01-17 16:44:40 +0100
committerRené Neumann <rene.neumann@in.tum.de>2013-01-17 16:44:42 +0100
commite858ff7199a768b10b1a3e565b9f8fe1caae3575 (patch)
tree682667d81f9a81a613aae54baa69bcbe6a180b84
parentfdf6fff2527e11f6c8daac9d64cc661fd02fd406 (diff)
downloaddotfiles-e858ff7199a768b10b1a3e565b9f8fe1caae3575.tar.gz
dotfiles-e858ff7199a768b10b1a3e565b9f8fe1caae3575.tar.bz2
dotfiles-e858ff7199a768b10b1a3e565b9f8fe1caae3575.zip
Also fix quick-and-dirty in PG
Diffstat (limited to '')
-rw-r--r--.emacs1
1 files changed, 1 insertions, 0 deletions
diff --git a/.emacs b/.emacs
index 3e4b4d5..90fa302 100644
--- a/.emacs
+++ b/.emacs
@@ -76,6 +76,7 @@
(isabelle-repair "auto solve direct" "tracing")
(isabelle-repair "auto quickcheck" "tracing")
+(isabelle-repair "quick and dirty" "proof")
;; custom file
(setq custom-file "~/.emacs.d/custom.el")