X-Git-Url: https://git.shemshak.org/~bandali/configs/blobdiff_plain/c31b1ac02d0c0b4c375384dc72cc26073ecb526c..bf233291df57d81c31f2290d24f24eaf33cd8873:/init.org?ds=inline diff --git a/init.org b/init.org index 3cf7343..1f3d721 100644 --- a/init.org +++ b/init.org @@ -880,6 +880,7 @@ And here's where my actual Org configurations begin: t)) (use-feature ox-beamer + :demand :after ox) #+end_src @@ -1411,7 +1412,8 @@ Automatically save place in each file. ** [[https://coq.inria.fr][Coq]] (with [[https://github.com/ProofGeneral/PG][Proof General]]) #+begin_src emacs-lisp -(use-package proof-general) +(use-package proof-site + :straight proof-general) #+end_src ** [[https://leanprover.github.io][Lean]] (with [[https://github.com/leanprover/lean-mode][lean-mode]]) @@ -2014,7 +2016,7 @@ Also see [[https://www.emacswiki.org/emacs/rebox2][rebox2]]. #+begin_src emacs-lisp (use-package shrink-path - :after eshell + :defer 2 :config (setq eshell-prompt-regexp "\\(.*\n\\)*λ " eshell-prompt-function #'+eshell/prompt) @@ -2045,6 +2047,7 @@ Also see [[https://www.emacswiki.org/emacs/rebox2][rebox2]]. #+begin_src emacs-lisp (use-package eshell-up + :commands eshell-up :after eshell) #+end_src @@ -2350,6 +2353,7 @@ Convenient footnotes in =message-mode=. (use-feature ebdb-gnus :after ebdb + :demand :custom (ebdb-gnus-window-configuration '(article @@ -2361,6 +2365,7 @@ Convenient footnotes in =message-mode=. (use-feature ebdb-mua :after ebdb + :demand ;; :custom (ebdb-mua-pop-up nil) )