summaryrefslogtreecommitdiff
path: root/modules/emacs/README.org
diff options
context:
space:
mode:
Diffstat (limited to 'modules/emacs/README.org')
-rw-r--r--modules/emacs/README.org7
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