From 75b43fe93f45c13154283853f573fbdcd52772c0 Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Tue, 1 Oct 2019 10:51:37 +0200 Subject: [PATCH] emacs: use lean4 --- spacemacs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/spacemacs b/spacemacs index 135fe5c..4c982fd 100644 --- a/spacemacs +++ b/spacemacs @@ -356,6 +356,10 @@ you should place your code here." (setq evil-in-single-undo t) + (add-to-load-path "~/lean4/lean4-mode") + (require 'lean4-mode) + (push 'lean4-mode spacemacs-indent-sensitive-modes) + (setq twelf-root "/home/gebner/twelf/") (when (file-exists-p twelf-root) (load-file (concat twelf-root "emacs/twelf-init.el")))