maciej/emacs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Namespace most of my custom functions
Some checks failed
/ Test config on ${{matrix.node}} (20) (push) Has been cancelled
Details

Browse source
This commit is contained in:
Maciej 2024-07-28 14:31:54 +03:00
parent dd5387cd7e
commit c2caa56b35
Signed by: maciej
GPG key ID: 41D62D42D3B0D765
25 changed files with 82 additions and 85 deletions
Download patch file Download diff file Expand all files Collapse all files

4
lisp/langs/icejam-lang-lean.el
View file

@ -14,7 +14,7 @@
:requires (lsp)
:defer t)
(defun activate-lean-mode ()
(defun icejam/activate-lean-mode ()
"All things for Lean mode."
(interactive)
@ -25,7 +25,7 @@
(add-to-list (make-local-variable 'company-backends)
'(company-capf company-yasnippet)))
(add-hook 'lean4-mode-hook 'activate-lean-mode)
(add-hook 'lean4-mode-hook 'icejam/activate-lean-mode)
(provide 'icejam-lang-lean)
;;; icejam-lang-lean.el ends here