From f15aa7601dda9ec0827215ed34af02d8cf775b7d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Neumann?= <rene.neumann@in.tum.de>
Date: Fri, 27 Apr 2012 12:42:27 +0200
Subject: Enable auto-quickcheck in isabelle

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

(limited to '.emacs')

diff --git a/.emacs b/.emacs
index 75995f0..b0a0028 100644
--- a/.emacs
+++ b/.emacs
@@ -70,6 +70,7 @@
     ("\\z" . "\\<zeta>")
 )))
  '(isar-tracing:auto-try nil)
+ '(isar-tracing:auto-quickcheck t)
  '(isar-unicode-tokens-enable t)
  '(isar-unicode-tokens2-enable t)
  '(isar-use-find-theorems-form nil)
-- 
cgit v1.2.3