From c538380ef3915c9c1adc036fc8d2292331898fc9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Neumann?= <rene.neumann@in.tum.de>
Date: Thu, 23 Feb 2012 18:22:37 +0100
Subject: Do not use the find-theorems-form in PG

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

(limited to '.emacs')

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)
-- 
cgit v1.2.3