From e858ff7199a768b10b1a3e565b9f8fe1caae3575 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Neumann?= <rene.neumann@in.tum.de>
Date: Thu, 17 Jan 2013 16:44:40 +0100
Subject: Also fix quick-and-dirty in PG

---
 .emacs | 1 +
 1 file changed, 1 insertion(+)

(limited to '.emacs')

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")
-- 
cgit v1.2.3