diff options
| -rw-r--r-- | modules/emacs/README.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/modules/emacs/README.org b/modules/emacs/README.org index 0d672c0..9a61d88 100644 --- a/modules/emacs/README.org +++ b/modules/emacs/README.org @@ -257,8 +257,8 @@ Try to use the package. #+end_src ** Coq #+begin_src emacs-lisp :tangle yes -(use-package proof-general - :mode "\\.v\\'") +(use-package proof-general) + (use-package company-coq :hook (coq-mode . company-coq-mode)) #+end_src |