From a99afc3da7ff4b804c93f100a7e6cdee5dcc0ba6 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 27 Mar 2020 15:51:22 +0000 Subject: Update doom configuration --- doom/packages.el | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'doom/packages.el') diff --git a/doom/packages.el b/doom/packages.el index dbb4a59..6571f93 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -51,13 +51,21 @@ ;(package! builtin-package :recipe (:branch "develop")) ;; Disabling packages -(package! undo-tree :disable t) +(disable-packages! undo-tree org-bullets helm) -;; Org mode dependencies +;; `org-mode' dependencies (package! org-ref) +(package! org-noter) +;; `org-bullets' replacement +(package! org-superstar) + +;; Proof general +(package! proof-general) ;; Misc dependencies (package! hungry-delete) (package! color-theme-sanityinc-tomorrow) +(package! modus-operandi-theme) +(package! modus-vivendi-theme) (package! zettelkasten - :recipe (:host github :repo "ymherklotz/emacs-zettelkasten") :pin "a5bd657820") + :recipe (:host github :repo "ymherklotz/emacs-zettelkasten")) -- cgit