diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2012-09-04 23:48:01 +0200 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2012-09-04 23:48:01 +0200 |
| commit | c43330157961612a211e16d4381ae536d15370fa (patch) | |
| tree | e534f1ed70a953970f36c4712efa968cb1b7a2d6 /.emacs | |
| parent | 6d7a29af83b339d73a66d35ae1216263e3631f03 (diff) | |
| download | dotfiles-c43330157961612a211e16d4381ae536d15370fa.tar.gz dotfiles-c43330157961612a211e16d4381ae536d15370fa.tar.bz2 dotfiles-c43330157961612a211e16d4381ae536d15370fa.zip | |
More emacs/isabelle hacks
Diffstat (limited to '.emacs')
| -rw-r--r-- | .emacs | 17 |
1 files changed, 17 insertions, 0 deletions
@@ -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) |