diff options
Diffstat (limited to 'doom/packages.el')
-rw-r--r-- | doom/packages.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doom/packages.el b/doom/packages.el index 3be7349..26532fb 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -51,7 +51,7 @@ ;(package! builtin-package :recipe (:branch "develop")) ;; Disabling packages -(disable-packages! undo-tree org-bullets helm) +(disable-packages! undo-tree org-bullets helm pretty-code company-coq) ;; `org-mode' dependencies (package! org-ref) @@ -59,12 +59,12 @@ ;; `org-bullets' replacement (package! org-superstar) -;; Proof general -(package! proof-general) - ;; Bibtex stuff (package! ebib) +;; Haskell stuff +(package! ormolu) + ;; Misc dependencies (package! hungry-delete) (package! vagrant-tramp) |