diff options
Diffstat (limited to 'doom/packages.el')
-rw-r--r-- | doom/packages.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doom/packages.el b/doom/packages.el index 56d91e8..65802ab 100644 --- a/doom/packages.el +++ b/doom/packages.el @@ -8,6 +8,7 @@ (package! org-superstar) (package! ox-reveal) (package! ox-tufte) +(package! ox-gfm) (package! org-transclusion :recipe (:host github :repo "nobiot/org-transclusion")) (package! org-zettelkasten @@ -41,6 +42,7 @@ (package! hungry-delete) ;; Coq +;;(package! alectryon) ;; Coq documentation tool ;; Teaching (package! boogie-friends) |