diff options
-rw-r--r-- | .emacs | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -76,6 +76,7 @@ (isabelle-repair "auto solve direct" "tracing") (isabelle-repair "auto quickcheck" "tracing") +(isabelle-repair "quick and dirty" "proof") ;; custom file (setq custom-file "~/.emacs.d/custom.el") |