diff options
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar.el | 1 |
1 files changed, 1 insertions, 0 deletions
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 |