1 files changed, 1 insertions, 1 deletions

diff --git a/.emacs b/.emacs
index a82ea45..de86cb2 100644
--- a/.emacs
+++ b/.emacs
@@ -36,7 +36,7 @@
  '(isar-tracing:auto-try nil)
  '(isar-unicode-tokens-enable t)
  '(isar-unicode-tokens2-enable t)
- '(isar-use-find-theorems-form t)
+ '(isar-use-find-theorems-form nil)
  '(isar-x-symbol-enable nil)
  '(proof-delete-empty-windows nil)
  '(proof-imenu-enable t)