From b5d2fa60722347f87bb25a1aa83c9d11ceacfd12 Mon Sep 17 00:00:00 2001
From: Leonardo Santiago <leonardo@mixrank.com>
Date: Tue, 2 Apr 2024 16:42:12 -0300
Subject: fix some stuff

---
 modules/emacs/README.org | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'modules/emacs/README.org')

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
-- 
cgit v1.2.3