commit facfc17fe891a371bf469215410b11531891f44a parent 28d86e611eed711924b90f5bf04137db744c8cea Author: Pablo Cárdenas <pablo.cardenas@imca.edu.pe> Date: Thu, 30 Apr 2026 14:07:47 -0300 emacs: lean support Diffstat:
| M | .config/emacs/init.el | | | 9 | +++++++++ |
1 file changed, 9 insertions(+), 0 deletions(-)
diff --git a/.config/emacs/init.el b/.config/emacs/init.el @@ -7,7 +7,16 @@ (require 'package) (add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t) (add-to-list 'package-archives '("nongnu" . "https://elpa.nongnu.org/nongnu/")) +(add-to-list 'package-selected-packages 'dash) +(add-to-list 'package-selected-packages 'lsp-mode) +(add-to-list 'package-selected-packages 'magit-section) +(add-to-list 'package-selected-packages 'telega) (package-initialize) +; (package-refresh-contents) +; (package-install-selected-packages 'no-confirm) + +(add-to-list 'load-path "~/dox/dev/lean4-mode") +(require 'lean4-mode) (global-set-key (kbd "C-c l") #'org-store-link) (global-set-key (kbd "C-c a") #'org-agenda)