diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-03-27 15:51:22 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-27 15:51:22 +0000 |
| commit | a99afc3da7ff4b804c93f100a7e6cdee5dcc0ba6 (patch) | |
| tree | 8b3a67c920793d3192f155a6eeb2a923b13abc7c /doom/packages.el | |
| parent | 3b55435803691baad50e6d921649eb24d84aede7 (diff) | |
| download | dotfiles-a99afc3da7ff4b804c93f100a7e6cdee5dcc0ba6.tar.gz dotfiles-a99afc3da7ff4b804c93f100a7e6cdee5dcc0ba6.zip | |
Update doom configuration
Diffstat (limited to 'doom/packages.el')
| -rw-r--r-- | doom/packages.el | 14 |
1 files changed, 11 insertions, 3 deletions
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")) |