diff options
| author | tslil clingman <tslil@posteo.de> | 2024-02-19 18:54:43 +0100 |
|---|---|---|
| committer | tslil clingman <tslil@posteo.de> | 2024-02-19 18:54:43 +0100 |
| commit | 3e5c497fb172a8a516c1a76544fb33fbd8ec8e0a (patch) | |
| tree | 6492043180d99ea0bc2a8057ec4a399c3840bf05 /emacs | |
| parent | 7e62d1a5560d151b9e23b0f9ca5376a9f96ce8f6 (diff) | |
[emacs] unfortunately the lean situation is terrible
Diffstat (limited to 'emacs')
| -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)) |