gebner/etc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

emacs: use lean4

Browse Source
This commit is contained in:
Gabriel Ebner 2019-10-01 10:51:37 +02:00
parent 78bdd21ff4
commit 75b43fe93f
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
spacemacs
View File

@ -356,6 +356,10 @@ you should place your code here."
(setq evil-in-single-undo t) (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/") (setq twelf-root "/home/gebner/twelf/")
(when (file-exists-p twelf-root) (when (file-exists-p twelf-root)
(load-file (concat twelf-root "emacs/twelf-init.el"))) (load-file (concat twelf-root "emacs/twelf-init.el")))