From 3e5c497fb172a8a516c1a76544fb33fbd8ec8e0a Mon Sep 17 00:00:00 2001 From: tslil clingman Date: Mon, 19 Feb 2024 18:54:43 +0100 Subject: [emacs] unfortunately the lean situation is terrible --- emacs/inits/25-theorems.el | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'emacs') 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)) -- cgit v1.2.3