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