diff options
Diffstat (limited to 'emacs')
-rw-r--r-- | emacs/loader.org | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/emacs/loader.org b/emacs/loader.org index 93150e7..bd14c7e 100644 --- a/emacs/loader.org +++ b/emacs/loader.org @@ -1097,9 +1097,7 @@ Adding hook to clojure mode to enable strict parentheses mode. #+begin_src emacs-lisp (use-package proof-general :config - (setq coq-compile-before-require t) - (defadvice proof-goto-point (after adjust-window-in-proof) - (golden-ratio))) + (setq coq-compile-before-require t)) #+end_src #+RESULTS: |