diff --git a/.emacs b/.emacs
index f083390..f93486a 100644
--- a/.emacs
+++ b/.emacs
@@ -1,8 +1,8 @@
 (custom-set-variables
-  ;; custom-set-variables was added by Custom.
-  ;; If you edit it by hand, you could mess it up, so be careful.
-  ;; Your init file should contain only one such instance.
-  ;; If there is more than one, they won't work right.
+ ;; custom-set-variables was added by Custom.
+ ;; If you edit it by hand, you could mess it up, so be careful.
+ ;; Your init file should contain only one such instance.
+ ;; If there is more than one, they won't work right.
  '(agda2-include-dirs (quote ("/home/art/Build/agda-lib/lib-0.7/src" ".")))
  '(blink-cursor-mode nil)
  '(calendar-week-start-day 1)
@@ -12,6 +12,8 @@
  '(european-calendar-style t)
  '(fill-column 80)
  '(indent-tabs-mode nil)
+ '(lua-indent-level 4)
+ '(lua-mode-hook (quote ((lambda nil (setq indent-tabs-mode t)))))
  '(mouse-yank-at-point t)
  '(safe-local-variable-values (quote ((LaTeX-item-indent . -4) (LaTeX-indent-level . 4))))
  '(split-width-threshold nil)
@@ -21,10 +23,10 @@
  '(vhdl-electric-mode nil)
  '(visible-bell t))
 (custom-set-faces
-  ;; custom-set-faces was added by Custom.
-  ;; If you edit it by hand, you could mess it up, so be careful.
-  ;; Your init file should contain only one such instance.
-  ;; If there is more than one, they won't work right.
+ ;; custom-set-faces was added by Custom.
+ ;; If you edit it by hand, you could mess it up, so be careful.
+ ;; Your init file should contain only one such instance.
+ ;; If there is more than one, they won't work right.
  '(agda2-highlight-datatype-face ((t (:foreground "light blue"))))
  '(agda2-highlight-function-face ((t (:foreground "light blue"))))
  '(agda2-highlight-postulate-face ((t (:foreground "light blue"))))