diff options
| author | Leonardo Santiago <[email protected]> | 2024-04-25 15:12:28 -0300 |
|---|---|---|
| committer | Leonardo Santiago <[email protected]> | 2024-04-25 15:12:28 -0300 |
| commit | 00d580e47de5c9d1d1ada4d51ddda34876706a28 (patch) | |
| tree | 3ae058c620244419266ca3e09c8930a13e68413a | |
| parent | c62f2220844350e40e78b1a08f954ff5621ccb7a (diff) | |
fix proof-general
| -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 |