diff options
| author | Leonardo Santiago <[email protected]> | 2024-04-02 16:42:12 -0300 |
|---|---|---|
| committer | Leonardo Santiago <[email protected]> | 2024-04-02 16:42:12 -0300 |
| commit | b5d2fa60722347f87bb25a1aa83c9d11ceacfd12 (patch) | |
| tree | 750fc23c8e3f2c6c27b7528574c9f17d29260a94 /modules/emacs/README.org | |
| parent | 2d32bab6d9082c6c18676517863674bf2ce6089e (diff) | |
fix some stuff
Diffstat (limited to 'modules/emacs/README.org')
| -rw-r--r-- | modules/emacs/README.org | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/modules/emacs/README.org b/modules/emacs/README.org index ff1254b..a82a5e2 100644 --- a/modules/emacs/README.org +++ b/modules/emacs/README.org @@ -255,6 +255,13 @@ Try to use the package. (use-package markdown-mode :mode "\\.md\\'") #+end_src +** Coq +#+begin_src emacs-lisp :tangle yes +(use-package proof-general + :mode "\\.md\\'") +(use-package company-coq + :hook (coq-mode . company-coq-mode)) +#+end_src * Personal ** Org mode #+begin_src emacs-lisp :tangle yes |