From bcfd043a06dbae69db014d7dd17c339dc78173a8 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 9 Jan 2014 09:48:18 -0800 Subject: [PATCH] feat(emacs): add basic indentation support Signed-off-by: Leonardo de Moura --- emacs/lean-mode.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/emacs/lean-mode.el b/emacs/lean-mode.el index ced868f95..e95eb272f 100644 --- a/emacs/lean-mode.el +++ b/emacs/lean-mode.el @@ -12,7 +12,9 @@ '("\\.lean$") ;; files for which to activate this mode '((lambda() (set-input-method "Lean") - (abbrev-mode 1))) + (set (make-local-variable 'lisp-indent-function) + 'common-lisp-indent-function) + )) "A mode for Lean files" ;; doc string for this mode )