1 files changed, 43 insertions, 13 deletions
diff --git a/doom/packages.el b/doom/packages.el
index 8a3016f..6fbaa71 100644
--- a/doom/packages.el
+++ b/doom/packages.el
@@ -10,6 +10,12 @@
 (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)
 
 ;; Bibtex stuff
 (package! ebib)
@@ -17,7 +23,7 @@
 ;; Haskell stuff
 (package! ormolu)
 
-;; completion
+;; Completion
 (package! orderless)
 (package! vertico)
 (package! marginalia)
@@ -26,33 +32,57 @@
 (package! embark-consult)
 (package! ripgrep)
 
-(package! direnv)
+;; Extra language mobdes
 (package! yaml-mode)
+(package! slime)
 
-(package! erc-hl-nicks)
-(package! alert)
-(package! znc)
-
-(package! elfeed)
-(package! elfeed-org)
+;; Nix
+(package! direnv)
 
 ;; Misc dependencies
 (package! hungry-delete)
-(package! vagrant-tramp)
+(package! elfeed)
 
+;; Chatting
 (package! plz
   :recipe (:host github :repo "alphapapa/plz.el"))
 (package! ement
   :recipe (:host github :repo "alphapapa/ement.el"))
-(package! org-zettelkasten
-  :recipe (:host github :repo "ymherklotz/emacs-zettelkasten"))
+(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)
 
+;; Emacs lisp
 (package! package-lint)
 
 ;; Themes
 (package! color-theme-sanityinc-tomorrow)
 (package! modus-themes)
-;;(package! modus-operandi-theme)
-;;(package! modus-vivendi-theme)
+
+;; 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")))