From c43330157961612a211e16d4381ae536d15370fa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20=27Necoro=27=20Neumann?= <necoro@necoro.net>
Date: Tue, 4 Sep 2012 23:48:01 +0200
Subject: More emacs/isabelle hacks

---
 .emacs | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to '.emacs')

diff --git a/.emacs b/.emacs
index 9ce4988..7918b26 100644
--- a/.emacs
+++ b/.emacs
@@ -29,6 +29,23 @@
 ;; use Poly/ML as SML interpreter
 (setq sml-program-name "poly")
 
+;; work around two bugs in Isabelle/PG
+;; we need to toggle two options twice to make them work
+(defun repair-auto-solve ()
+  (when isar-tracing:auto-solve-direct
+    (print "Repairing Auto Solve Direct")
+    (isar-tracing:auto-solve-direct-toggle 0)
+    (isar-tracing:auto-solve-direct-toggle 1)))
+
+(defun repair-auto-quickcheck ()
+  (when isar-tracing:auto-quickcheck
+    (print "Repairing Auto Quickcheck")
+    (isar-tracing:auto-quickcheck-toggle 0)
+    (isar-tracing:auto-quickcheck-toggle 1)))
+
+(add-hook 'proof-shell-init-hook 'repair-auto-solve)
+(add-hook 'proof-shell-init-hook 'repair-auto-quickcheck)
+
 ;; custom file
 (setq custom-file "~/.emacs.d/custom.el")
 (load custom-file)
-- 
cgit v1.2.3