From c62f2220844350e40e78b1a08f954ff5621ccb7a Mon Sep 17 00:00:00 2001
From: Leonardo Santiago <leonardo@mixrank.com>
Date: Fri, 12 Apr 2024 18:00:21 -0300
Subject: change theme to wombat

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

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

diff --git a/modules/emacs/README.org b/modules/emacs/README.org
index f4bd2a1..0d672c0 100644
--- a/modules/emacs/README.org
+++ b/modules/emacs/README.org
@@ -28,8 +28,8 @@ You can also use it as a ~nixosModule~, in order to add additional packages like
 ** Theme and font
 #+begin_src emacs-lisp :tangle yes
 (use-package modus-themes)
-; (use-package kanagawa-theme)
-(load-theme 'tsdh-light t)
+;; (use-package kanagawa-theme)
+(load-theme 'wombat t)
 
 (set-face-attribute 'default nil
   :family "Iosevka Nerd Font"
@@ -258,7 +258,7 @@ Try to use the package.
 ** Coq
 #+begin_src emacs-lisp :tangle yes
 (use-package proof-general
-  :mode "\\.md\\'")
+  :mode "\\.v\\'")
 (use-package company-coq
   :hook (coq-mode . company-coq-mode))
 #+end_src
-- 
cgit v1.2.3