summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-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)
generated by cgit v1.2.3-70-g09d2 (git 2.47.0) at 2024-11-10 02:58:41 +0000
td>1-1/+4 2014-04-24find: proper segmenting of terms1.6Jason A. Donenfeld1-3/+3 2014-04-24dmenu: hide outputJason A. Donenfeld1-1/+1 2014-04-24tests: test for spacesJason A. Donenfeld3-8/+20 2014-04-24Move test instructions to INSTALL.Jason A. Donenfeld2-11/+18 2014-04-24tests: we don't use aggregate-resultsJason A. Donenfeld1-57/+0 2014-04-24Don't prompt for questions when stdin is not a tty.Jason A. Donenfeld3-7/+6 2014-04-24Allow overridable bash.Jason A. Donenfeld16-16/+16 2014-04-24dmenu: check for empty instead of ret codeJason A. Donenfeld1-1/+1 2014-04-24tests: sed doesn't like escaped chars on non-gnuJason A. Donenfeld1-1/+1 2014-04-24tests: run from anywhereJason A. Donenfeld13-4/+16 2014-04-24Turns out aliases were a bad idea.Jason A. Donenfeld14-95/+92 2014-04-24Make gpg_opts an array.Jason A. Donenfeld1-12/+12 2014-04-24Shellcheck errors.Jason A. Donenfeld1-6/+6 2014-04-24tests: todo updateJason A. Donenfeld1-25/+0