From f703c8aee0d1c46f2bb18a69ef5e5b4e2a7dbc98 Mon Sep 17 00:00:00 2001 From: Zheng Qu Date: Wed, 27 Dec 2023 19:50:46 +0100 Subject: [PATCH] feat: Add `lean4-mode` --- init.el | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/init.el b/init.el index 478305e..83f5833 100644 --- a/init.el +++ b/init.el @@ -190,7 +190,11 @@ This function should only modify configuration layer settings." (copilot :location (recipe :fetcher github :repo "zerolfx/copilot.el" - :files ("*.el" "dist")))) + :files ("*.el" "dist"))) + (lean4-mode :location (recipe + :fetcher github + :repo "leanprover/lean4-mode" + :files ("*.el" "data")))) ;; A list of packages that cannot be updated. dotspacemacs-frozen-packages '()