1 files changed, 4 insertions, 41 deletions
diff --git a/doom/packages.el b/doom/packages.el
index 37d704a..56d91e8 100644
--- a/doom/packages.el
+++ b/doom/packages.el
@@ -7,16 +7,12 @@
 ;; `org-bullets' replacement
 (package! org-superstar)
 (package! ox-reveal)
-;(package! ox-ssh)
 (package! ox-tufte)
 (package! org-transclusion
   :recipe (:host github :repo "nobiot/org-transclusion"))
 (package! org-zettelkasten
   :recipe (:host github :repo "ymherklotz/emacs-zettelkasten"))
-;;(package! elfeed-org)
-
-;; Latex stuff
-;;(package! pdf-tools)
+(package! elfeed-score)
 
 ;; Bibtex stuff
 (package! ebib)
@@ -26,53 +22,29 @@
 
 ;; Completion
 (package! orderless)
-(package! vertico)
 (package! marginalia)
 (package! embark)
-(package! consult)
 (package! embark-consult)
 (package! ripgrep)
 
 ;; Extra language mobdes
 (package! yaml-mode)
-(package! slime)
 (package! pollen-mode)
 
-(package! tree-sitter)
-(package! tree-sitter-langs)
+;;(package! tree-sitter)
+;;(package! tree-sitter-langs)
 
 ;; Nix
 (package! direnv)
 
 ;; Misc dependencies
 (package! hungry-delete)
-;;(package! elfeed)
-
-;; Chatting
-;;(package! plz
-;;  :recipe (:host github :repo "alphapapa/plz.el"))
-;;(package! ement
-;;  :recipe (:host github :repo "alphapapa/ement.el"))
-;;(package! erc-hl-nicks)
-;;(package! alert)
-;;(package! znc)
 
 ;; Coq
-(package! alectryon) ;; Coq documentation tool
 
 ;; Teaching
 (package! boogie-friends)
 
-(package! isar-mode
-  :recipe (:host github :repo "m-fleury/isar-mode"))
-(package! isar-goal-mode
-  :recipe (:host github :repo "m-fleury/simp-isar-mode"))
-(package! lsp-isar
-  :recipe (:host github :repo "m-fleury/isabelle-emacs"
-           :branch "Isabelle2021-more-vscode"
-           :files ("src/Tools/emacs-lsp/lsp-isar/*.el")))
-(package! session-async)
-
 ;; Privacy
 (package! pinentry)
 
@@ -82,13 +54,4 @@
 ;; Themes
 (package! color-theme-sanityinc-tomorrow)
 (package! modus-themes)
-
-;; Temp fixes
-;; https://github.com/hlissner/doom-emacs/issues/5667#issuecomment-948229579
-;;(package! gitconfig-mode
-;;  :recipe (:host github :repo "magit/git-modes"
-;;           :files ("gitconfig-mode.el")))
-;;(package! gitignore-mode
-;;  :recipe (:host github :repo "magit/git-modes"
-;;           :files ("gitignore-mode.el")))
-;;
+(package! elpher)