summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--.emacs1
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)