From 200ad36e96c3b97440019e6300b3dbaf91c44d4d Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 21 Jan 2022 16:28:00 +0000 Subject: Update configuration for emacs and afew --- doom/packages.el | 10 ---------- 1 file changed, 10 deletions(-) (limited to 'doom/packages.el') diff --git a/doom/packages.el b/doom/packages.el index 65802ab..5354ee5 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -2,12 +2,9 @@ (disable-packages! undo-tree org-bullets helm pretty-code company-coq) ;; `org-mode' dependencies -(package! org-ref) (package! ol-notmuch) ;; `org-bullets' replacement (package! org-superstar) -(package! ox-reveal) -(package! ox-tufte) (package! ox-gfm) (package! org-transclusion :recipe (:host github :repo "nobiot/org-transclusion")) @@ -32,18 +29,12 @@ (package! yaml-mode) (package! pollen-mode) -;;(package! tree-sitter) -;;(package! tree-sitter-langs) - ;; Nix (package! direnv) ;; Misc dependencies (package! hungry-delete) -;; Coq -;;(package! alectryon) ;; Coq documentation tool - ;; Teaching (package! boogie-friends) @@ -56,4 +47,3 @@ ;; Themes (package! color-theme-sanityinc-tomorrow) (package! modus-themes) -(package! elpher) -- cgit