diff options
| -rw-r--r-- | emacs/inits/25-theorems.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/emacs/inits/25-theorems.el b/emacs/inits/25-theorems.el index 490758a..fda7ed5 100644 --- a/emacs/inits/25-theorems.el +++ b/emacs/inits/25-theorems.el @@ -1,4 +1,4 @@ -;; Time-stamp: <2024-02-19 14h02 CET (29b31490)> +;; Time-stamp: <2024-02-19 18h48 CET (anker)> ;; ----------------------------------------------------------------------------- ;; Coq @@ -144,7 +144,7 @@ ;; ----------------------------------------------------------------------------- ;; Lean -(use-package lean-mode - :ensure t +(use-package lean4-mode + :load-path "~/.emacs.d/lean4-mode" :defer t - :mode ("\\.lean$" . lean-mode)) + :mode ("\\.lean$" . lean4-mode)) |