1 files changed, 1 insertions, 0 deletions
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)