From 9aed2b41c3222f9c8f2707a37d5d1ea1d3389042 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Sat, 17 Oct 2009 22:03:06 +0000 Subject: disable indent-tabs-mode for theory mode; --- isar/isar.el | 1 + 1 file changed, 1 insertion(+) (limited to 'isar') diff --git a/isar/isar.el b/isar/isar.el index 7aedbe07..b27a12a4 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -89,6 +89,7 @@ See -k option for Isabelle interface script." (defun isar-mode-config-set-variables () "Configure generic proof scripting mode variables for Isabelle/Isar." + (set (make-local-variable 'indent-tabs-mode) nil) (setq proof-assistant-home-page isar-web-page proof-guess-command-line 'isabelle-set-prog-name -- cgit v1.2.3